For avoidance of doubt, the patch in #7 was something Michael and I talked about as a workaround, in order to unblock Michael's work. It isn't something we'd submit or apply.
For avoidance of doubt, the patch in #7 was something Michael and I talked
about as a workaround, in order to unblock Michael's work. It isn't something
we'd submit or apply.