Merge branch 'master' into remove-multiple-domains

boogie-org · Jan 26, 2024 · fb39375 · fb39375
2 parents 17a1484 + 40bb2d9
commit fb39375
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.9</Version>
+    <Version>3.0.10</Version>
     <TargetFramework>net6.0</TargetFramework>
     <GeneratePackageOnBuild>false</GeneratePackageOnBuild>
     <Authors>Boogie</Authors>