Looks like all the relevant bits were merged, so I'm closing. Feel free to reopen if there's still something missing from this issue.

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