gratuitous patch thanks github

penelopeysm · penelopeysm · commit 4862ad62b089 · 2025-08-13T00:01:41.000+01:00
diff --git a/HISTORY.md b/HISTORY.md
@@ -1,3 +1,8 @@
+# 0.41.1
+
+Extra release to trigger Documenter.jl build (when 0.40.0 was released GitHub was having an outage).
+There are no code changes.
+
 # 0.40.0
 
 ## Breaking changes
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "Turing"
 uuid = "fce5fe82-541a-59a6-adf8-730c64b5f9a0"
-version = "0.40.0"
+version = "0.40.1"
 
 [deps]
 ADTypes = "47edcb42-4c32-4615-8424-f2b9edc5f35b"
