On 26 January 2018 at 18:08, Eduardo Habkost <ehabk...@redhat.com> wrote: [lots of quoted text]
Could you folks try to trim down the quoted text when you're replying to this thread, please? Every time somebody replies to this thread and leaves the original pull request email quoted in it it flags the thread back up onto my "needs my attention" list... thanks -- PMM