https://bugzilla.gnome.org/show_bug.cgi?id=745037
Andrea Veri <andrea.v...@gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
CC| |andrea.v...@gmail.com
Resolution|--- |FIXED
--- Comment #3 from Andrea Veri <andrea.v...@gmail.com> ---
Patch has been merged, thanks Daniel!
https://infrastructure.gnome.org/browse/puppet/commit/?id=fb55344bdc7134f120d5209fbbbcfa0f83aae811
--
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
gnome-infrastructure@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
