Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Fixes #11726 - correct the overloaded method order #11727
@@ Coverage Diff @@ ## master #11727 +/- ## ========================================== + Coverage 96.26% 96.26% +<.01% ========================================== Files 94 94 Lines 9190 9191 +1 ========================================== + Hits 8847 8848 +1 Misses 343 343
I'm convinced, I think this should be merged, even if this was just a refactor (which it is not), since I agree that more specific overloads should come first (even for readability only). And surely merging this can't be harmful, can it?
@SimonSchick can we merge this?