[Pkg-xen-devel] Processed: tagging 1002657, tagging 1002658, tagging 1002940, tagging 1002941, tagging 1002942, tagging 1002983 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 1002657 + sid bookworm
Bug #1002657 [src:sks] FTBFS with OCaml 4.13.1
Added tag(s) bookworm and sid.
> tags 1002658 + sid bookworm
Bug #1002658 [src:xen] FTBFS with OCaml 4.13.1
Added tag(s) sid and bookworm.
> tags 1002940 + sid bookworm
Bug #1002940 [src:otags] FTBFS with ocaml-migrate-parsetree 2.3.0
Added tag(s) bookworm and sid.
> tags 1002941 + sid bookworm
Bug #1002941 [src:ppx-tools-versioned] FTBFS with ocaml-migrate-parsetree 2.3.0
Added tag(s) sid and bookworm.
> tags 1002942 + sid bookworm
Bug #1002942 [src:ppxfind] FTBFS with ocaml-migrate-parsetree 2.3.0
Added tag(s) bookworm and sid.
> tags 1002983 + sid bookworm
Bug #1002983 [src:hol-light] FTBFS with camlp5 8.00.02
Added tag(s) sid and bookworm.
> tags 1002979 + sid bookworm
Bug #1002979 [src:geneweb] FTBFS with camlp5 8.00.02
Added tag(s) sid and bookworm.
> notfixed 908054 1.9.5-1
Bug #908054 {Done: Ludovic Rousseau <ludovic.rousseau at free.fr>} [pcscd] pcscd fails to communicate with smartcard after resuming from suspend-to-RAM
No longer marked as fixed in versions pcscd/1.9.5-1.
> fixed 908054 1.9.5-1
Bug #908054 {Done: Ludovic Rousseau <ludovic.rousseau at free.fr>} [pcscd] pcscd fails to communicate with smartcard after resuming from suspend-to-RAM
Marked as fixed in versions pcsc-lite/1.9.5-1.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1002657: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1002657
1002658: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1002658
1002940: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1002940
1002941: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1002941
1002942: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1002942
1002979: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1002979
1002983: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1002983
908054: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908054
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems