Merge branch 'ticket28853'

2024-12-06 19:41:15 +01:00 · 2018-12-18 18:59:56 -05:00
parent bb091da1e7 3dd1f064a7
commit ed0bc85ed0
2 changed files with 45 additions and 38 deletions
@@ -0,0 +1,3 @@
+  o Minor features (performance):
+    - Replace parse_short_policy() with a faster implementation, to improve
+      microdescriptor parsing time. Closes ticket 28853.