On 05.10.19 11:59, Stefan Weinzierl wrote: > Richy: Can you apply the patch? Sure. Could you, please, re-send it together with a good git comment? (While at it: Are you sure about the source code comment "check for letters"?) All my best, -richy.