diff options
| author | Stephane Glondu <steph@glondu.net> | 2020-07-25 07:44:56 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2020-07-25 07:44:56 +0200 |
| commit | 754c60d28fd5960376c7dd8022f2491bf47dd9ef (patch) | |
| tree | 2ef50c34dd20d2a48e412c5a01fb9322dad61339 /gen | |
| parent | 8daec26e8db4256424282b8d328fd9369da3827e (diff) | |
New upstream version 5.4.0
Diffstat (limited to 'gen')
| -rw-r--r-- | gen/update_dune.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gen/update_dune.ml b/gen/update_dune.ml index 0f39dd0..9442348 100644 --- a/gen/update_dune.ml +++ b/gen/update_dune.ml @@ -1,4 +1,5 @@ -let versions = ["402"; "403"; "404"; "405"; "406"; "407"; "408"; "409"; "410"] +let versions = + ["402"; "403"; "404"; "405"; "406"; "407"; "408"; "409"; "410"; "411"] let flags = "(:standard -w +A-4-17-44-45-105-42 -safe-string)" |