On Mon Nov 20 23:10:39 2023 +0000, Francisco Casas wrote:
I kinda wanted to keep it there to document a simpler problem that may happen. But okay, I squashed it.
Well, it shouldn't happen if we fix the other problem. I.e. it's patching over the problem in the wrong place.