Save source location zones counts.

This allows preallocation of zones-in-source-location vectors.
2025-03-20 07:40:02 +08:00 · 2018-07-29 14:58:01 +02:00
parent 5b9ad4bcbf
commit bff6eb4c34
2 changed files with 68 additions and 5 deletions
@@ -7,7 +7,7 @@ namespace Version
 {
 enum { Major = 0 };
 enum { Minor = 3 };
-enum { Patch = 200 };
+enum { Patch = 201 };
 }
 }