Subject: bug#8757: 24.0.50; `find-grep-options' - fn name doesn't fit doc string

From: Lars Magne Ingebrigtsen <[email-masked]>
Date: Fri, 15 Jul 2011 17:28:26 +0200

"Drew Adams" <[email-masked]> writes:

> You apparently don't agree to changing _any_ names - at least so far.

I'm all for changing names if there's a compelling reason to do so.
`find-grep-options' doesn't seem like a compelling case, when weighed
against the problems associated with changing the name of a
user-customisable variable.

-- 
(domestic pets only, the antidote for overdose, milk.)
  bloggy blog http://lars.ingebrigtsen.no/