From: Vaadin Bot <vaadin-bot@users.noreply.github.com>
Date: Mon, 12 Aug 2019 11:02:35 +0000 (+0000)
Subject: 13.0.12
X-Git-Tag: v13.0.12
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=ad382dbd1ad759248bd7a5884104e07496f05314;p=vaadin.git

13.0.12
---

diff --git a/bower.json b/bower.json
index 4276f1d..45f047b 100644
--- a/bower.json
+++ b/bower.json
@@ -19,7 +19,7 @@
     "update-core-version.js"
   ],
   "dependencies": {
-    "vaadin-core": "vaadin-core#13.0.12",
+    "vaadin-core": "13.0.12",
     "vaadin-board": "vaadin-board#2.1.0",
     "vaadin-charts": "vaadin-charts#6.2.3",
     "vaadin-confirm-dialog": "vaadin-confirm-dialog#1.1.4",
diff --git a/package.json b/package.json
index 5a2e0d5..da06c2d 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@vaadin/vaadin",
-  "version": "13.0.11",
+  "version": "13.0.12",
   "description": "Vaadin Elements is an evolving set of open source custom HTML elements for building mobile and desktop web applications in modern browsers.",
   "author": "Vaadin Ltd",
   "license": "(Apache-2.0 OR SEE LICENSE IN https://vaadin.com/license/cval-3.0)",