On 28.03.19 12:02, ag0aep6g wrote: > By the way, I didn't get an email notification from GitHub for that > comment. Scratch that, it arrived. Just took a couple of hours.