Re: [Nbd] We've moved to other.debian.org (was: Re: Moving this list to lists.debian.org?)
> On 12 Sep 2017, at 00:31, Wouter Verhelst <email@example.com> wrote:
> On Tue, Jul 25, 2017 at 01:04:46PM -0500, Eric Blake wrote:
>> On 07/25/2017 08:27 AM, Wouter Verhelst wrote:
>>> Is there anyone on this list who would object to that? If so, are there
>>> any suggestions for better alternatives?
> This move has now happened.
Thanks for doing this. Much appreciated.
> I'll leave the old list functional for a few weeks more in case people
> don't immediately notice, but please start using the new one from now on
Perhaps you could subscribe an autoresponder pointing at the new list?