From fb28d30f880057a735f0a932ad4c9bff4d50c2c3 Mon Sep 17 00:00:00 2001
From: Bernhard Mueller <bernhard.mueller11@gmail.com>
Date: Wed, 23 May 2018 15:42:28 +0700
Subject: [PATCH] Bump LASER version

---
 requirements.txt | 2 +-
 setup.py         | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/requirements.txt b/requirements.txt
index a0c68098..29ba4166 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -2,7 +2,7 @@ rlp<1.0.0
 ethereum>=2.3.0
 ZODB>=5.3.0
 z3-solver>=4.5
-laser-ethereum>=0.17.11
+laser-ethereum>=0.17.12
 requests
 BTrees
 plyvel
diff --git a/setup.py b/setup.py
index f4866e76..c1e41ae5 100755
--- a/setup.py
+++ b/setup.py
@@ -5,7 +5,7 @@ import os
 # Package version (vX.Y.Z). It must match git tag being used for CircleCI
 # deployment; otherwise the build will failed.
 
-VERSION = "v0.17.11"
+VERSION = "v0.17.12"
 
 class VerifyVersionCommand(install):
   """Custom command to verify that the git tag matches our version"""
@@ -307,7 +307,7 @@ setup(
         'ethereum>=2.3.0',
         'ZODB>=5.3.0',
         'z3-solver>=4.5',
-        'laser-ethereum>=0.17.11',
+        'laser-ethereum>=0.17.12',
         'requests',
         'BTrees',
         'py-solc',