Set release date.

2023-10-03 13:03:40 +00:00 · 2020-10-07 15:40:42 +02:00
parent 45668fdce5
commit b4f6092f90
2 changed files with 12 additions and 6 deletions
@@ -1280,5 +1280,9 @@
            "DynamicArrayCleanup"
        ],
        "released": "2020-09-28"
+    },
+    "0.7.3": {
+        "bugs": [],
+        "released": "2020-10-07"
    }
 }