On 13/05/2017 19:33, Bruno Le Floch wrote: > Anyone knows why this list received 4+ email notifications from that > Github repo? I'm probably missing the logic. User copy-pasted my Travis-CI demo ;) I've let him know and we should be OK now. Joseph