Bug#1058044: miredo: Change default server

2023-12-12 Thread Marco Moock
Am 12.12.2023 um 00:36:56 Uhr schrieb Chris Hofstaedtler: > On Mon, Dec 11, 2023 at 05:30:28PM +0100, Marco Moock wrote: > > The name teredo-debian.remlab.net doesn't resolve anymore as the > > operator closed down the service. teredo-debian.remlab.net can be > > used instead. > > You gave the

Bug#1058044: miredo: Change default server

2023-12-11 Thread Chris Hofstaedtler
On Mon, Dec 11, 2023 at 05:30:28PM +0100, Marco Moock wrote: > The name teredo-debian.remlab.net doesn't resolve anymore as the operator > closed down the service. > teredo-debian.remlab.net can be used instead. You gave the same server name twice here. Which service could work nowadays? C

Bug#1058044: miredo: Change default server

2023-12-11 Thread Marco Moock
Package: miredo Severity: normal Dear Maintainer, *** Reporter, please consider answering these questions, where appropriate *** The name teredo-debian.remlab.net doesn't resolve anymore as the operator closed down the service. teredo-debian.remlab.net can be used instead. *** End of the templ