Am 26.04.2017 um 12:57 schrieb Schindler Karl-Michael: >> The only alternative would be to advise *nix users to use the 3.0.0 >> release instead. >> >> Bart > > my two cents: > > 1) Why not call it 3.0.4? I would also think that we should aim at a quick 3.0.4 then.