diff options
-rw-r--r-- | Changes | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -20,7 +20,7 @@ Standard library: with user-provided hash functions. Bug Fixes: -- PR#5301: camlp4r and of exception equal to another one with parameters +- PR#5301: camlp4r and exception equal to another one with parameters Objective Caml 3.12.0: |