Rather than flood a pull request with non-review discussion, I've created an issue here. (That seems better for me than the devel mailing list as we get notifications on replies, markup, links etc).

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