Updating latest pulumi dev [email protected] (#10432)

pulumi · Dec 20, 2023 · c441839 · c441839
1 parent 22bd043
commit c441839
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/static/latest-dev-version b/static/latest-dev-version
@@ -1 +1 @@
-3.98.0-6-g936ffe5
+3.98.0-12-g9853228