On Tue, 19 Dec 2023, Cord Beermann wrote: > So I need some examples. :0 * 1^0 ^X-Debian-PR-Package:.*release.debian.org $junkdir/debbugs.$YEARMONTH
should be sufficient to get most (if not all of them). -- Don Armstrong https://www.donarmstrong.com Whatever you do will be insignificant, but it is very important that you do it. -- Mohandas Karamchand Gandhi