@rfuchs , did you already have time to take a look on this pull request?

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