From 320a53b9d5b2447ed5ac0f8d2c335ca92992d21d Mon Sep 17 00:00:00 2001
From: Min RK <benjaminrk@gmail.com>
Date: Tue, 6 Aug 2019 13:13:42 +0200
Subject: [PATCH] specify corejs version

---
 package.json      | 1 +
 webpack.config.js | 1 +
 2 files changed, 2 insertions(+)

diff --git a/package.json b/package.json
index 829efda2..6ae749ce 100644
--- a/package.json
+++ b/package.json
@@ -47,6 +47,7 @@
     "@jupyterlab/services": "^4.0.1",
     "@jupyterlab/theme-light-extension": "^1.0.1",
     "babel-loader": "^8.0.6",
+    "core-js": "^3.1.4",
     "css-loader": "^3.0.0",
     "file-loader": "^4.0.0",
     "jquery": "^3.4.1",
diff --git a/webpack.config.js b/webpack.config.js
index a1e8d28c..94905497 100644
--- a/webpack.config.js
+++ b/webpack.config.js
@@ -65,6 +65,7 @@ module.exports = {
                 "@babel/preset-env",
                 {
                   useBuiltIns: "usage",
+                  corejs: 3,
                   shippedProposals: true,
                   targets: {
                     browsers: ["chrome 60", "firefox 45", "ie 10", "safari 9"],