I've pushed the fix as commit 03592a6f8. Closing.


Reply via email to