On Fri, Mar 6, 2020 at 4:13 PM Jonathan Neuschäfer<j.neuschaefer@gmx.net> wrote:>> This makes the script more convenient to run.Applied directly to my tree as I was busy merging stuff anyway.. Linus