Re-release Dafny 3.9.0

Unfortunately, package.py had a bug that broke the packaging process. Worse, because the upload to nuget happens before packaging the Github release, this did not prevent a package from being uploaded to nuget.
dafny-lang · Oct 3, 2022 · 9131182 · 9131182
1 parent 2a6013f
commit 9131182
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/Source/Directory.Build.props b/Source/Directory.Build.props
@@ -3,8 +3,7 @@
   <PropertyGroup>
     <!-- Target framework -->
     <TargetFramework>net6.0</TargetFramework>
-
-    <VersionPrefix>3.9.0.40930<!--Version 3.9.0, year 2018+4, month 9, day 30--></VersionPrefix>
+    <VersionPrefix>3.9.0.41003<!--Version 3.9.0, year 2018+4, month 10, day 3.--></VersionPrefix>
   </PropertyGroup>
 
 </Project>