On 2 May 2016, at 15:56, Heiko W.Rupp wrote: > Please fill this in. Poll ends latest Wed 4th 10am EST. Outcome is 11 yes, 0 no and 7 "if it has to be", so we will continue with community "all in one" releases. Please also see the thread "Composition of community distribution"