Subject: closing 27763

From: Paul Eggert <[email-masked]>
Date: Tue, 31 Dec 2019 11:22:45 -0800

close 27763
thanks

This does not appear to be a grep bug, so closing it.