On Thu, 5 Jul 2018, Paul Eggert wrote: > Although Gnulib hasn't needed a difftime module yet, it might need one once > this 32- vs 64-bit time_t stuff lands into glibc, so let's keep difftime.c > usable for Gnulib.
I don't think we should make such requests of contributers for code that is not shared with another project. For code that is actually shared with gnulib (possibly with some divergence on both sides), yes, but not for arbitrary other functions simply because they might hypothetically be useful in other context in future. -- Joseph S. Myers jos...@codesourcery.com