Sent this patch 24 hours ago with git-sendemail. Nothing showed up. Trying again manually. -- Pierre Neidhardt https://ambrevar.xyz/