Skip to content

Commit 5593fb4

Browse files
committed
Unset the released flag.
1 parent 9dad753 commit 5593fb4

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

tools/configure/configure.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ let (/) = Filename.concat
2424

2525
let coq_version = "9.0.1"
2626
let vo_magic = 90001
27-
let is_a_released_version = true
27+
let is_a_released_version = false
2828

2929
(** Default OCaml binaries *)
3030

0 commit comments

Comments
 (0)