Rewrite the core of parse_short_policy() to be faster.

The old implementation did some funky out-of-order lexing, and
tended to parse every port twice if the %d-%d pattern didn't match.

Closes ticket 28853.

1 files changed, 3 insertions, 0 deletions

diff --git a/changes/ticket28853 b/changes/ticket28853
new file mode 100644
index 0000000000..e76f6bd8c9
--- /dev/null
+++ b/changes/ticket28853
@@ -0,0 +1,3 @@
+  o Minor features (performance):
+    - Replace parse_short_policy() with a faster implementation, to improve
+      microdescriptor parsing time. Closes ticket 28853.