As the stdckdint.h bug in question is fixed in GCC 15.1, wouldn't it be better if the Gnulib workaround is used only if the bug is present (GCC 15.0)?

Reply via email to