Re: [Mailman-Developers] glitch in new bumpdigests tool