The vote period is over. I only received positive feedbacks with 4 +1 votes.
I will implement this decision. On Thu, 2019-07-18 at 15:15 +0200, Matthieu Baechler wrote: > I forgot the required date for vote end, so voting ends on 25th July > 2pm UTC > Cheers, -- Matthieu Baechler --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
