=== JoseeAntonioR is now known as jose
[12:46] <jbicha> Trevinho: what happened with https://bileto.ubuntu.com/#/ticket/3138 ? can we rebuild (for gnome-desktop3 transition) and publish?
=== user8394 is now known as user8393
=== ejat_ is now known as ejat