Merge branch 'release/0.80.7' into develop
migration: wow, a nice corner case…
version bump for 0.80.8.
Merge branch 'release/0.80.8'