Paul Eggert <egg...@cs.ucla.edu> writes: > Mathieu Lirzin wrote: > >> I don't think, since ‘grep -r '^#! *\$'’ doesn't bring any results. > > OK, thanks for checking. I installed it into gnulib master after > creating a ChangeLog entry for it and tweaking the punctuation in the > commit message
Thanks for applying it. Sorry for the extra work. -- Mathieu Lirzin GPG: F2A3 8D7E EB2B 6640 5761 070D 0ADE E100 9460 4D37
