On Mon, Jul 31, 2023 at 11:52:15PM +0200, Tommaso Merciai wrote: > Switch my mail address from a company mail to a personal one. Sure? Acked-by: Conor Dooley