Ok those seem ok. The neat hint is no longer needed as it passes with the new version - but I'll merge it as is anyway.
« Back to merge proposal
Ok those seem ok. The neat hint is no longer needed as it passes with the new version - but I'll merge it as is anyway.