https://bugzilla.gnome.org/show_bug.cgi?id=745034
Andrea Veri <[email protected]> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
CC| |[email protected]
Resolution|--- |FIXED
--- Comment #3 from Andrea Veri <[email protected]> ---
Patch merged. Thanks!
https://infrastructure.gnome.org/browse/puppet/commit/?id=2b44803035eb699b6e9ffc5065f43a28d024d3f1
--
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
