Subject: Re: bug#7650: Subject: 23.2; [PATCH] re-builder.el: "Case sensitive" menu won't be updated properly.

From: Chong Yidong <[email-masked]>
Date: Fri, 21 Jan 2011 22:04:17 -0500

Keitaro Miyazaki <[email-masked]> writes:

> I found that the check mark of a menu item "Case sensiteve"
> of "Re-Builder" menu won't be updated properly, even if
> I choose that menu.
>
> This patch may fix this problem.

Thanks, but I could not reproduce the bug.  Could you provide an exact
step-by-step recipe that demonstrates the problem?