Merge from master to dev (!186) · Merge requests · Christian Ruiz / statbot-swiss

Aleksi Gaevsky requested to merge master into dev Mar 15, 2023

(to see there are no merge conflicts; before merging dev to master, after feature_* to dev merge for 01_033_CH)

See merge request !184 (merged)

Merge from master to dev