26 Aug
2022
26 Aug
'22
5:59 p.m.
On Fri Aug 26 17:44:28 2022 +0000, R��mi Bernon wrote:
I'm not sure this change is very useful, it would cause unnecessary conflicts if anyone else has local changes to this header.
Yeah, the idl is a bit of a chaos, that's why I did the change.