LGTM

@elextr pushing a branch on the main repo for such a PR is odd :) Not necessarily a problem, but I had a moment of doubt when I saw the commit passing in the ML and the PR still open ^^

—
Reply to this email directly or view it on GitHub.