Subject: Re: bug#11268: Rgrep can get out of hand, so...

From: [email-masked]
Date: Wed, 18 Apr 2012 13:49:02 +0800

JL> You can kill the running grep with `C-c C-k'.
OK that worked this time...
Well at least the docstrings should mention that.