Hi, Cyril Brulebois <kibi@debian.org> wrote (Wed, 10 May 2023 18:22:53 +0200): > Hey Holger, > > I've seen a bunch of uploads and refreshed master branches, but it looks > like we're missing a number of tags. Please push them when you have a > chance? Nothing time sensitive though. Done. Holger -- Holger Wansing <hwansing@mailbox.org> PGP-Fingerprint: 496A C6E8 1442 4B34 8508 3529 59F1 87CA 156E B076