From b07715b3bce40cb6968ab32809fd850b24ee4ceb Mon Sep 17 00:00:00 2001 From: Thomas Refis Date: Thu, 10 Jan 2019 16:50:20 +0000 Subject: [PATCH] 0.5.0 --- CHANGES.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 7ed1c052..fa6ba950 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,7 +1,7 @@ -next ----- +0.5.0 +----- -- Add an (** @inline *) to the include generated when silencing +- Add an `(** @inline *)` to the include generated when silencing warning 32 (#58, @trefis) - Add `Ppxlib.mk_named_sig` and `Ppxlib.is_polymorphic_variant` (#57,