On Thu, Aug 24, 2017 at 12:49:52PM +0200, Fabiano Fidêncio wrote: > ACK! Can you push yours and Pino's patches? I've made a try at giving him push access to gitlab, and sent him an email about this, let's see if he can push these himself first! Christophe