Am 16.05.2018 um 08:24 schrieb Stefan Bodewig:
Also, would there be any reason to not cut a new release from master? I mean is there any work in progress that needs to be finished?
I think a new release from master can be done any time. -Pascal --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
