On Fri Aug 2 16:17:42 2024 +0000, Gabriel Ivăncescu wrote:
I think it's the only case, and I didn't want to add code handling a new flag just for this, seemed over-engineered. I could also use a macro to fill the info to avoid duplication, or is that a bad idea?
I don't think a macro would be any nicer, let's keep it duplicated for now.