Release 0.0.9
@guido.gunther: I suggest we release 0.0.9 early this week, including a few pending fixes, so app devs have the time to pick that version in time for the GNOME 3.32.0 tarball du this weekend.
If it's fine with you, I'll tag a few MRs for 0.0.9.