Re: [Mailman-Developers] small fix for admindb