]> source.dussan.org Git - vaadin.git/commitdiff
13.0.12 v13.0.12
authorVaadin Bot <vaadin-bot@users.noreply.github.com>
Mon, 12 Aug 2019 11:02:35 +0000 (11:02 +0000)
committerVaadin Bot <vaadin-bot@users.noreply.github.com>
Mon, 12 Aug 2019 11:02:35 +0000 (11:02 +0000)
bower.json
package.json

index 4276f1da6ec97fb92ddc430e9e65e19a5a371c67..45f047bd22bd9fa0c5d38002684f8e9a3279a8f3 100644 (file)
@@ -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",
index 5a2e0d5ddeeb4f98a2858403d5373e9cfd1c81e7..da06c2d24e53b0036204b4a598df31c92aac8aa7 100644 (file)
@@ -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)",