On Thu, Jan 18, 2024 at 03:42:28PM +0200, Heikki Linnakangas wrote:
> Given that commit 728f86fec6 that introduced this issue was not strictly
> required, perhaps we should just revert it for v16.
Is there a point in keeping 728f86fec6 as well on HEAD? That does not
strike me as wise to keep that in the tree for now. If it needs to be
reworked, looking at this problem from scratch would be a safer
approach.
--
Michael