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