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