Merge branch 'release/0.80.9' into develop
migration: what a cool corner case…
version bump for 0.80.10.
Merge branch 'release/0.80.10'