Move Gauss-on-Gaussino to master
Before doing to apply CI formatting, so there is an interplay with #106 (closed)
-
Merge master
toFuturev5
before applying formatting (can do it as soon as v56r5 is released, see #105 (closed)) -
Redo after merging !864 (merged) to master
-
Merge Futurev5
tomaster
once branch Sim10 is made -
Change target of relevant MR from Futurev5
tomaster
Edited by Gloria Corti