Somehow I forgot to push that old patch, so I pushed it now.

http://git.savannah.gnu.org/cgit/grep.git/commit/?id=34e0adabf0cd98eb4d1c4a929acf0b8238fcfbbc

Reply via email to