Merge pull request #748 from yallop/prepare-0.21.1

Prepare the 0.21.1 release
yallop · Jul 20, 2023 · 3f8211a · 3f8211a
2 parents 96da6cb + 6ee8d92
commit 3f8211a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,7 @@
+## ctypes 0.21.1
+
+* Add missing version information to dune-project
+
 ## ctypes 0.21.0
 
 * Switch to dune  

diff --git a/dune-project b/dune-project
@@ -1,5 +1,6 @@
 (lang dune 2.9)
 (name ctypes)
+(version 0.21.1)
 (formatting (enabled_for dune))
 (use_standard_c_and_cxx_flags true)