Bump version to 9.4.2
Bump version to 9.4.2-dev