From e40c4012fa1ed4087dd3b55a4403b87828b02f23 2020-02-01 01:38:53
From: Matthias Bussonnier <bussonniermatthias@gmail.com>
Date: 2020-02-01 01:38:53
Subject: [PATCH] back to dev

---

diff --git a/IPython/core/release.py b/IPython/core/release.py
index b5b9c28..feb09c0 100644
--- a/IPython/core/release.py
+++ b/IPython/core/release.py
@@ -20,11 +20,11 @@ name = 'ipython'
 # release.  'dev' as a _version_extra string means this is a development
 # version
 _version_major = 7
-_version_minor = 12
+_version_minor = 13
 _version_patch = 0
 _version_extra = '.dev'
 # _version_extra = 'b1'
-_version_extra = ''  # Uncomment this for full releases
+# _version_extra = ''  # Uncomment this for full releases
 
 # Construct full version string from these.
 _ver = [_version_major, _version_minor, _version_patch]