Release version 2.16.0 (#657)

boogie-org · Nov 28, 2022 · 2c7e157 · 2c7e157
1 parent 8de7061
commit 2c7e157
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/Directory.Build.props b/Source/Directory.Build.props
@@ -2,7 +2,7 @@
 
   <!-- Target framework and package configuration -->
   <PropertyGroup>
-    <Version>2.15.9</Version>
+    <Version>2.16.0</Version>
     <TargetFramework>net6.0</TargetFramework>
     <GeneratePackageOnBuild>false</GeneratePackageOnBuild>
     <Authors>Boogie</Authors>