Skip to content

Prepare for formatting

Gloria Corti requested to merge prepare-for-formatting into master

Preparatory commits to ensure formatting will not introduce compilation errors

It includes preparatory commits initially in !864 (merged) and all commits in !990 (closed)

cc: @kreps, @mimazure

Edited by Gloria Corti

Merge request reports