Closed benoitkugler closed 6 months ago
Merging this 'trivial' API change thanks to our updated merging policy (#125).
@benoitkugler For future reference, any breaking change to the public API does need multiple reviewers, even if it is trivial. It will make downstream projects fail to compile against our main
branch. If we'd implemented this by adding an alternative method, I think I'd feel differently.
Let the user choose the
Location
when adding a Face (for #112).