Merge Gauss-on-Gaussino to master
@gcorti @kreps @adavis @admorris
IMPORTANT: please do not squash the commits when merging!
Merges Gauss-on-Gaussino to master. To be teested & applied once all the preparatory work is done:
-
!999 (merged) formatting
Edited by Michal Mazurek