On Tuesday, September 20 2016, Pedro Alves wrote: > OK. Thanks, pushed. 7d5adfe3118050243e85469ad891c7813e4db68a -- Sergio GPG key ID: 237A 54B1 0287 28BF 00EF 31F4 D0EB 7628 65FC 5E36 Please send encrypted e-mail if possible http://sergiodj.net/