Hi, I pushed those patches and the results of a run of
gnome updater into core-updates.

Reply via email to