On Thu Aug 1, 2024 at 12:12 AM BST, Nilesh Patra wrote: > We don't use gitlab. All bugs are managed via https://www.debian.org/Bugs/ I had a look there by filtering on the mailing list address but noting came up. Is that correct or I'm missing something here?