ticked version number to 8.20.6.1

angr · Jun 1, 2020 · 7f5b863 · 7f5b863
1 parent 5eef910
commit 7f5b863
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/angrmanagement/__init__.py b/angrmanagement/__init__.py
@@ -1,4 +1,4 @@
-__version__ = (8, 20, 5, 27)
+__version__ = (8, 20, 6, 1)
 
 # Hack used to work around the slow-responsiveness issue with the GUI
 # PySide2 5.14.2 solves this problem but it introduces other bugs

diff --git a/setup.py b/setup.py
@@ -13,7 +13,7 @@
 
 setup(
     name='angr-management',
-    version='8.20.5.27',
+    version='8.20.6.1',
     python_requires='>=3.6',
     description='GUI for angr',
     url='https://github.com/angr/angr-management',
@@ -30,7 +30,7 @@
         ]
     },
     install_requires=[
-        'angr==8.20.5.27',
+        'angr==8.20.6.1',
         'websocket-client',
         'qtconsole',
         'ipython',