From b8351bc387b3bf4786f53a38cfebfa77f23c71dc Mon Sep 17 00:00:00 2001 From: Kate Date: Wed, 12 Feb 2020 00:59:14 +0000 Subject: [PATCH] Release ppx_tools 6.1 --- dune-project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune-project b/dune-project index 39e50e4..3dbe765 100644 --- a/dune-project +++ b/dune-project @@ -1,3 +1,3 @@ (lang dune 1.6) (name ppx_tools) -(version 6.0) +(version 6.1)