Closed FranckRJ closed 1 year ago
Should fix issues like #285.
Coverage remained the same at 99.925% when pulling 0f06a1b0ff797339fc25f7e4cbd4386360b8a3d4 on fix-macro-names-clashes into 58b79336820417206760b4872642322d79517971 on dev-2.3.1.
Should fix issues like #285.