On Mon, 15 Jul 2024 22:24:39 +0200 Christophe JAILLET wrote: > Most of the time, this kind of modification is useless because it is > already done by the compiler, see [1]. GTK, thanks!
On Mon, 15 Jul 2024 22:24:39 +0200 Christophe JAILLET wrote: > Most of the time, this kind of modification is useless because it is > already done by the compiler, see [1]. GTK, thanks!