Merge pull request #20064 from proux01/8_20_1_version_number

[8.20.1] Bump version number

Author: proux01

tools/configure/configure.ml

@@ -22,9 +22,9 @@ open CmdArgs.Prefs
 
 let (/) = Filename.concat
 
-let coq_version = "8.20.0"
+let coq_version = "8.20.1"
 let vo_magic = 82000
-let is_a_released_version = false
+let is_a_released_version = true
 
 (** Default OCaml binaries *)