Bump OR-Tools version to 7.6

2020-03-02 15:48:21 +01:00
parent 3158a67e62
commit 01b033ae32
1 changed files with 1 additions and 1 deletions
--- a/Version.txt
+++ b/Version.txt
@@ -1,3 +1,3 @@
 OR_TOOLS_MAJOR=7
-OR_TOOLS_MINOR=5
+OR_TOOLS_MINOR=6
 #PRE_RELEASE=YES