Processed: tagging 1065416, owner 1065416

2025-10-16 Thread Debian Bug Tracking System 
Processing commands for [email protected]:

> tags 1065416 + confirmed
Bug #1065416 {Done: Paul Tagliamonte } [tech-ctte] 
linux-libc-dev claims to provide linux-libc-dev-ARCH-cross, but it doesn't do 
that completely
Added tag(s) confirmed.
> owner 1065416 Paul Tagliamonte 
Bug #1065416 {Done: Paul Tagliamonte } [tech-ctte] 
linux-libc-dev claims to provide linux-libc-dev-ARCH-cross, but it doesn't do 
that completely
Owner recorded as Paul Tagliamonte .
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1065416: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1065416
Debian Bug Tracking System
Contact [email protected] with problems

Processed: tagging 1065416

2025-08-17 Thread Debian Bug Tracking System 
Processing commands for [email protected]:

> # post-release bug mangling for bugs tagged sid. if this bug only affects 
> sid, please remove the forky tag again
> tags 1065416 + forky
Bug #1065416 [tech-ctte] linux-libc-dev claims to provide 
linux-libc-dev-ARCH-cross, but it doesn't do that completely
Added tag(s) forky.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1065416: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1065416
Debian Bug Tracking System
Contact [email protected] with problems