Version bump to v0.9.4.2