Eric Blake <[EMAIL PROTECTED]> writes: > But I've checked this in anyways: > http://git.sv.gnu.org/gitweb/?p=gnulib.git;a=commit;h=da27171
I suspect that nobody needs it nowadays; in that case it might be better to omit it from gnulib, as it might confuse people into thinking that it's useful.
