From 18bcd9e61c7317592b36bde95871798ebf8dfc20 Mon Sep 17 00:00:00 2001
From: Michael Droettboom <mdboom@gmail.com>
Date: Thu, 14 Feb 2019 16:59:59 -0500
Subject: [PATCH] =?UTF-8?q?Bump=20version:=200.7.1=20=E2=86=92=200.7.2?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .bumpversion.cfg | 2 +-
 src/pyodide.py   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.bumpversion.cfg b/.bumpversion.cfg
index 2adb70e02..95448ae07 100644
--- a/.bumpversion.cfg
+++ b/.bumpversion.cfg
@@ -1,5 +1,5 @@
 [bumpversion]
-current_version = 0.7.1
+current_version = 0.7.2
 commit = True
 tag = True
 tag_name = {new_version}
diff --git a/src/pyodide.py b/src/pyodide.py
index 13d7d2d2e..173527c92 100644
--- a/src/pyodide.py
+++ b/src/pyodide.py
@@ -6,7 +6,7 @@ import ast
 import io
 from textwrap import dedent
 
-__version__ = '0.7.1'
+__version__ = '0.7.2'
 
 
 def open_url(url):