mpsort without <config.h>

[Denis Excoffier]

Hello,

Is it conceivable that in mpsort.c, the line

#include <config.h>

is (officially) replaced by the three lines

#ifdef HAVE_CONFIG_H
# include <config.h>
#endif

for those people (like me...) that don't work with <config.h> but prefer to keep mpsort.c untouched?
This is already done for other files in gnulib/lib, like eg printf.c or mkdir.c

Regards,

Denis Excoffier.