https://bugzilla.gnome.org/show_bug.cgi?id=756345
--- Comment #8 from Andrea Veri <[email protected]> ---
And planeta.gnome.pt up and running. You can tell Andreas the theme is
available at https://git.gnome.org/browse/planet-web/tree/themes/gnome-pt. In
the meantime the default GNOME theme is being used. Let me know if everything
is OK on my side.
--
You are receiving this mail because:
You are watching the QA Contact of the bug.
_______________________________________________
gnome-infrastructure mailing list
[email protected]
https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
