Re: [PATCH] Start devel directory for developer tools and documentation.

Subject: Re: [PATCH] Start devel directory for developer tools and documentation.

Date: Tue, 17 Jan 2012 18:23:38 -0500

To: David Bremner

Cc: notmuch@notmuchmail.org, David Bremner

From: Austin Clements


Quoth David Bremner on Jan 17 at  8:47 am:
> From: David Bremner <bremner@debian.org>
> 
> We had a lot of back and forth about the name of this directory, but
> nothing very conclusive. In the end, I just chose "devel" just to move
> on.

LGTM.

Thread: