On 05/23/2013 07:13 AM, David Bremner wrote:

> OK, I've pushed the script with that line removed. Thanks for the
> contribution,

great, thanks!  I've removed my earlier git repo.  the notmuch git repo
is now the canonical location.

	--dkg