Release date for 0.4.13

2023-10-03 13:03:40 +00:00 · 2017-07-06 11:06:13 +02:00 · 2017-07-06 11:06:13 +02:00 · f09c55f89c
commit f09c55f89c
parent eca2655cae
2 changed files with 5 additions and 1 deletions
--- a/Changelog.md
+++ b/Changelog.md
@ -1,4 +1,4 @@
-### 0.4.13 (unreleased)
+### 0.4.13 (2017-07-06)

 Features:
 * Syntax Checker: Deprecated "throw" in favour of require(), assert() and revert().
--- a/docs/bugs_by_version.json
+++ b/docs/bugs_by_version.json
@ -301,6 +301,10 @@
        "bugs": [], 
        "released": "2017-07-03"
    }, 
+    "0.4.13": {
+        "bugs": [], 
+        "released": "2017-07-06"
+    }, 
    "0.4.2": {
        "bugs": [
            "SkipEmptyStringLiteral",