Upstream patches were proposed in https://debbugs.gnu.org/cgi/bugreport.cgi?bug=47264 , and they've been merged upstream. The next upstream grep release, whenever that is, should allow this debian bug to be closed.

Reply via email to