This repository has been archived by the owner on Apr 26, 2024. It is now read-only.
Speed up calculating push rules#2238
Merged
erikjohnston merged 3 commits intodevelopfrom erikj/faster_push_rulesMay 22, 2017
+23-9
Commits
Commits on May 19, 2017
Commits on May 22, 2017
- committed
- committed