Okay if you want, we can always move the implementation later.

The API version should be fixed, because it won't merge cleanly as is (no idea why GitHub doesn't complain BTW).

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