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