https://bugzilla.gnome.org/show_bug.cgi?id=746485
Andrea Veri <[email protected]> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution|--- |FIXED
--- Comment #7 from Andrea Veri <[email protected]> ---
Planet has been migrated. DNS is now pointing to the new host. Theme is hosted
at [1].
[1] https://git.gnome.org/browse/planet-web/tree/themes/gnome-gr
--
You are receiving this mail because:
You are watching the QA Contact of the bug.
You are watching the assignee of the bug._______________________________________________
gnome-infrastructure mailing list
[email protected]
https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
