diff --git a/ChangeLog b/ChangeLog index 2491f82..544050a 100644 --- a/ChangeLog +++ b/ChangeLog @@ -9,7 +9,9 @@ - Updated port to `dune` (Marek Kubica, https://github.com/thierry-martinez/stdcompat/pull/16, - https://github.com/thierry-martinez/stdcompat/pull/19) + https://github.com/thierry-martinez/stdcompat/pull/19 + with contribution from Kate, + https://github.com/thierry-martinez/stdcompat/pull/21) - Add support for `flambda2` (Guillaume Bury, https://github.com/thierry-martinez/stdcompat/pull/14)