Friendly ping. It would be cool if this simple fix could be merged at the next opportunity. So we would make sure it's in 1.34, have another issue closed, and I could remove my branch 😄

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.