Work on $\omega_1$ (S35)#1560

felixpernegger merged 10 commits intomainpi-base/data:mainfrom

work-on-s35pi-base/data:work-on-s35Copy head branch name to clipboard