Post PR #4559: add back .dev1 to version numbers.
#4561
+16
−3
Merged