GPR#355: Changes

master
Thomas Refis 2015-12-17 09:47:11 +00:00
parent 3a79584852
commit 960d0126e9
1 changed files with 2 additions and 0 deletions

View File

@ -413,6 +413,8 @@ Bug fixes:
- PR#6795, PR#6996: Make ocamldep report errors passed in
[%ocaml.error] extension points
(Jérémie Dimino)
- GPR#355: make ocamlnat build again
(Jérémie Dimino, Thomas Refis)
Features wishes:
- PR#4518, GPR#29: change location format for reporting errors in ocamldoc