Prepare release of 0.7.2.

2023-10-03 13:03:40 +00:00 · 2020-09-28 14:45:39 +02:00
parent f1deb41033
commit 26d07d1925
2 changed files with 8 additions and 4 deletions
@@ -1191,5 +1191,9 @@
            "FreeFunctionRedefinition"
        ],
        "released": "2020-09-02"
+    },
+    "0.7.2": {
+        "bugs": [],
+        "released": "2020-09-28"
    }
 }