pushes to release version 0.9.3
pushes to development version 0.9.4-SNAPSHOT