On 03/06/2016 07:55 PM, Arnaud Boutonné wrote: > The problem I see is that the exact same way, we could then decide to > drop the support of 2/3rd (at least) of our supported platforms > Yes, at some point we might also have to drop other ports, if nobody comes up to maintain them any longer. // Johannes