Migrate some selected polari bugs
Sorry for being late to the game here, but there are a couple of polari bugs that I consider worth migrating:
- https://bugzilla.gnome.org/show_bug.cgi?id=768382
- https://bugzilla.gnome.org/show_bug.cgi?id=768373
- https://bugzilla.gnome.org/show_bug.cgi?id=763024
- https://bugzilla.gnome.org/show_bug.cgi?id=762456
- https://bugzilla.gnome.org/show_bug.cgi?id=756721
- https://bugzilla.gnome.org/show_bug.cgi?id=751542
- https://bugzilla.gnome.org/show_bug.cgi?id=747975
If migrating selected bugs is not possible, I prefer mass closing over migrating everything or doing manual triage :-)