Update devel and v0.9 results