Hi, I've signed off your first patch and pushed it to master. The second patch looks useful, but I'd like others to state their opinion as well. I'm resending it through git send-email, so that everyone can use their preferred tooling for fetching stuff from the mailing list. Regards, Leo