diff options
Diffstat (limited to 'gen/update_dune.ml')
| -rw-r--r-- | gen/update_dune.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gen/update_dune.ml b/gen/update_dune.ml index 8f9c10a..0f39dd0 100644 --- a/gen/update_dune.ml +++ b/gen/update_dune.ml @@ -1,4 +1,4 @@ -let versions = ["402"; "403"; "404"; "405"; "406"; "407"; "408"; "409"] +let versions = ["402"; "403"; "404"; "405"; "406"; "407"; "408"; "409"; "410"] let flags = "(:standard -w +A-4-17-44-45-105-42 -safe-string)" |