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.
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.