v9

Romain Vigier

@rmnvgr

8b4aeaac · Bump to v9 · Nov 25, 2019

Fix translation domain messing up GNOME Shell translations.