Bump patch

disberd · disberd · commit 3b8acb5120f3 · 2023-10-09T12:01:10.000+02:00
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "PlutoExtras"
 uuid = "ed5d0301-4775-4676-b788-cf71e66ff8ed"
 authors = ["Alberto Mengali <disberd@gmail.com>"]
-version = "0.7.10"
+version = "0.7.11"
 
 [deps]
 AbstractPlutoDingetjes = "6e696c72-6542-2067-7265-42206c756150"
@@ -17,4 +17,4 @@ AbstractPlutoDingetjes = "1"
 HypertextLiteral = "0.9"
 PlutoDevMacros = "0.6"
 PlutoUI = "0.7.51"
-julia = "1.8"
+julia = "1.9"
