revert last change: it was not needed
[gnulib.git] / lib / root-uid.h
2012-06-26 Paul Eggertroot-uid: new module