diff --git a/pytools/version.py b/pytools/version.py index da6e2afa9531fcd2c3f87500d6de04b68b51c26c..c7b6fa90bcb9c12d955e4e2cd14d699218378227 100644 --- a/pytools/version.py +++ b/pytools/version.py @@ -1,3 +1,3 @@ -VERSION = (2020, 4) +VERSION = (2020, 5) VERSION_STATUS = "" VERSION_TEXT = ".".join(str(x) for x in VERSION) + VERSION_STATUS