On Thu, Nov 14, 2024 at 04:39:28PM +0100, Iustin Pop wrote:
Indeed. But even the comment, by itself, I think raises a question - why do we (still) do this?
Because there's very little incentive to change it.
On Thu, Nov 14, 2024 at 04:39:28PM +0100, Iustin Pop wrote:
Indeed. But even the comment, by itself, I think raises a question - why do we (still) do this?
Because there's very little incentive to change it.