Hi Simon, On Thu, 12 Dec 2019 at 01:33, Simon Goldschmidt <simon.k.r.goldschm...@gmail.com> wrote: > > Kind of off-topic, but Boris's address at Bootlin doesn't exist anymore and I > keep getting mail delivery error responses. > > Do we have any kind of marking such addresses as "don't use" to patman so this > won't happen in the future?
Patman does support a [bounces] section in ~/.patman. See patman docs. Undocumented, doc/bounces should do what you want. If you add it there then hopefully it will fix it for everyone. Regards, Simon