From d1e4e03807f783ac3a9f755b54df081f6567aa0b Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Mon, 3 Jul 2017 13:45:36 +0200
Subject: [PATCH] Set release date.

---
 docs/bugs_by_version.json | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/bugs_by_version.json b/docs/bugs_by_version.json
index 1be05f3c3..cab79f055 100644
--- a/docs/bugs_by_version.json
+++ b/docs/bugs_by_version.json
@@ -297,6 +297,10 @@
         ], 
         "released": "2017-05-03"
     }, 
+    "0.4.12": {
+        "bugs": [], 
+        "released": "2017-07-03"
+    }, 
     "0.4.2": {
         "bugs": [
             "SkipEmptyStringLiteral",