bump to 9.3

2022-02-23 14:45:35 +01:00
parent d95e0a0f0c
commit 077dc6d61d
1 changed files with 1 additions and 1 deletions
--- a/Version.txt
+++ b/Version.txt
@@ -1,3 +1,3 @@
 OR_TOOLS_MAJOR=9
-OR_TOOLS_MINOR=2
+OR_TOOLS_MINOR=3
 #PRE_RELEASE=YES