Subject: Re: Remove the --disable-maintainer-mode option from 'configure'
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Fri, 01 Jun 2012 11:27:36 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

I installed this as bzr 108446 on the trunk
and am marking the bug as done.