On Tue, Oct 23, 2018 at 10:32 AM Bastien Nocera <hadess at hadess.net> wrote: > Why not ask this on the Builder list instead? Info here: > https://mail.gnome.org/mailman/listinfo/builder-list Thanks, I knew it was one or the other. I'll try the Boxes list for my other question.