On Tue, Jan 12, 2021 at 11:30:13PM +1300, Thomas Munro wrote:
> I haven't heard any user complaints, and I'd personally be happy with
> a fix on master only.
I have been looking again at that, and the rebased version that Andres
has provided would take care of that. Any thoughts?
--
Michael