Release 0.7.2.

2025-03-20 07:40:02 +08:00 · 2020-09-14 22:55:41 +02:00
parent c1d7778d48
commit 5490948567
2 changed files with 2 additions and 2 deletions
@@ -7,7 +7,7 @@ namespace Version
 {
 enum { Major = 0 };
 enum { Minor = 7 };
-enum { Patch = 1 };
+enum { Patch = 2 };
 }
 }