Re: [arch-dev-public] [arch-general] [bugtracker] Tickets assigned to ex-devs. What to do?