On Sun, Dec 19, 2021 at 09:48:42AM +0000, André A. Gomes wrote: > > Are you using some 3rd-party channels that might need to be adjusted? > > Oh, right!
Glad to hear you've solved the problem! > > How can I close this bug report? Thank you. Like I'm doing now, by sending a message to <$bugnumber-d...@debbugs.gnu.org>. That is, by appending "-done" to the bug's email address.