diff options
| -rw-r--r-- | Changelog.md | 2 | ||||
| -rw-r--r-- | docs/bugs_by_version.json | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/Changelog.md b/Changelog.md index 8ba06aaf..4d84d7a1 100644 --- 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(). diff --git a/docs/bugs_by_version.json b/docs/bugs_by_version.json index cab79f05..d6802eec 100644 --- 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", |