From 4e1b9e816bcd51548a5f6cb01b5057bd5ef20fd5 Mon Sep 17 00:00:00 2001
From: Vaadin Bot <vaadin-bot@users.noreply.github.com>
Date: Mon, 3 Dec 2018 12:07:06 +0000
Subject: [PATCH] 10.0.9

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index f1fc931..ea3cbae 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "vaadin-core",
-  "version": "10.0.8",
+  "version": "10.0.9",
   "description": "Vaadin components is an evolving set of free, open sourced custom HTML elements, built using Polymer, for building mobile and desktop web applications in modern browsers.",
   "author": "Vaadin Ltd",
   "license": "Apache-2.0",
-- 
2.39.5