diff --git a/pytools/version.py b/pytools/version.py index 4351f0b5592f5e24da68da72ac111b6ff91418b1..4ed105cfd6b4a73ed12fbf38aa2b9b6fcc9f6b54 100644 --- a/pytools/version.py +++ b/pytools/version.py @@ -1,3 +1,3 @@ -VERSION = (2018, 5, 1) +VERSION = (2018, 5, 2) VERSION_STATUS = "" VERSION_TEXT = ".".join(str(x) for x in VERSION) + VERSION_STATUS