Released version 3.1.2

HISTORY.md

@@ -3,7 +3,7 @@
 https://github.com/josdejong/jsoneditor
 
 
-## not yet released, version 3.1.2
+## 2014-09-03, version 3.1.2
 
 - Some fixes/improvements in `parseJS` (to parse a JSON object from a JavaScript
   object).

bower.json

@@ -1,6 +1,6 @@
 {
   "name": "jsoneditor",
-  "version": "3.1.2-SNAPSHOT",
+  "version": "3.1.2",
   "description": "A web-based tool to view, edit and format JSON",
   "tags": [
     "json",

jsoneditor.js

@@ -23,8 +23,8 @@
  * Copyright (c) 2011-2014 Jos de Jong, http://jsoneditoronline.org
  *
  * @author  Jos de Jong, <wjosdejong@gmail.com>
- * @version 3.1.2-SNAPSHOT
- * @date    2014-08-28
+ * @version 3.1.2
+ * @date    2014-09-03
  */
 (function webpackUniversalModuleDefinition(root, factory) {
 	if(typeof exports === 'object' && typeof module === 'object')

package.json

@@ -1,6 +1,6 @@
 {
   "name": "jsoneditor",
-  "version": "3.1.2-SNAPSHOT",
+  "version": "3.1.2",
   "main": "jsoneditor.js",
   "description": "A web-based tool to view, edit and format JSON",
   "tags": [