Subject: grep bugs fixed

From: Paul Eggert <[email-masked]>
Date: Thu, 27 Feb 2014 13:02:05 -0800

close 16895 16232 16777
thanks

These bugs all seem to have been fixed by recent changes on master.