[12:46] <jbicha> Trevinho: what happened with https://bileto.ubuntu.com/#/ticket/3138 ? can we rebuild (for gnome-desktop3 transition) and publish?