diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2017-07-14 17:01:58 -0400 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2017-07-19 06:27:24 -0400 |
commit | 3ec1afb5e18f5c9ff0c4804c27a5cfed03e1bb86 (patch) | |
tree | 443480ff04f0b8f7322732c795506fdc54f1af1e | |
parent | 23fa1c266d72bfd6182082616a340b125dba57ac (diff) | |
download | ocaml-3ec1afb5e18f5c9ff0c4804c27a5cfed03e1bb86.tar.gz |
Changes: remove duplicate GPR#795 entry
(spotted by Octachron)
-rw-r--r-- | Changes | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -954,9 +954,6 @@ The complete list of changes is listed below. - MPR#7511, GPR#1133: Unboxed type with unboxed argument should not be accepted (Damien Doligez, review by Jeremy Yallop and Leo White) -- GPR#795: remove 256-character limitation on Sys.executable_name - (Xavier Leroy) - - GPR#805, GPR#815, GPR#833: check for integer overflow in String.concat (Jeremy Yallop, review by Damien Doligez, Alain Frisch, Daniel Bünzli, Fabrice Le Fessant) |