Am 03.08.2018 um 18:20 schrieb Riccardo (Jack) Lucchetti:

On Fri, 3 Aug 2018, Allin Cottrell wrote:

On Fri, 3 Aug 2018, Riccardo (Jack) Lucchetti wrote:

Sorry to be a spoilsport but I'd kinda rather not make this sort of change right now. Can we review it carefully after the (hopefully imminent!) release?

Fine by me!

I'm also all for careful code reviews. Jack, in the meantime you could spend your energies on the documentation instead, hehe.

cheers,
sven