Force use of dev-develop as v0.9 doesn't work
Quick test
Revert "Quick test"

This reverts commit 476d25ecb3d25679480cbb5dbef9c87601e86c43.
Merge pull request #1 from jdelaune/master

Force use of dev-develop as v0.9 doesn't work