On Tue, Dec 01, 2020 at 04:06:48PM +1300, Thomas Munro wrote:
> I felt on balance it was a "bug", since it causes operational
> difficulties for people and was clearly not our intended behaviour,
> and I announced this intention 6 weeks ago.
Oops, sorry for missing this discussion for such a long time :/
> Of course I'll be happy to revert it from the back-branches if
> that's the consensus. Any > other opinions?
If there are no other opinions, I am also fine to rely on your
judgment.
--
Michael