Closed sswen closed 3 years ago
github is only a mirror of the main git repo at: http://git.savannah.gnu.org/gitweb/?p=gnulib.git
Patches are discussed at the mailing list at: https://lists.gnu.org/mailman/listinfo/bug-gnulib
I've proposed a more encompassing patch at: https://lists.gnu.org/archive/html/bug-gnulib/2020-10/msg00156.html
So closing this PR here.
thank you!
Extending 7a15069b6 and adding the GPFS filesystem to the list of remote filesystem.
Signed-off-by: Swen Schillig swen@linux.ibm.com