[Pkg-ia32-libs-maintainers] Processed: fixed 563402 in 20100908

Tue Sep 14 01:03:03 UTC 2010

Processing commands for control at bugs.debian.org:

> fixed 563402 20100908
Bug #563402 {Done: Philipp Kern <pkern at debian.org>} [ia32-libs] ia32-libs broken on ia64
Bug Marked as fixed in versions ia32-libs/20100908.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
563402: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=563402
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems