On Wed, Oct 12, 2022 at 02:50:58PM +1300, David Rowley wrote:
> Thanks for finding that and coming up with the patch. It looks fine to
> me. Do you want to push it?
Thanks for double-checking. I'll do so shortly, I just got annoyed by
that for a few days :)
Thanks for your work on this thread to be able to push the switch by
default, by the way.
--
Michael