Bump version number to 3.0.1 (#774)

We've got a few significant bug fixes in place, so let's put out a bugfix release.
boogie-org · Aug 16, 2023 · b227fc5 · b227fc5
1 parent 1d3f399
commit b227fc5
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>3.0.0</Version>
+    <Version>3.0.1</Version>
     <TargetFramework>net6.0</TargetFramework>
     <GeneratePackageOnBuild>false</GeneratePackageOnBuild>
     <Authors>Boogie</Authors>