Processing commands for cont...@bugs.debian.org: > reassign 844148 glibc Bug #844148 [src:acl2] acl2: FTBFS: certification failed directory Bug reassigned from package 'src:acl2' to 'glibc'. No longer marked as found in versions acl2/7.2dfsg-3. Ignoring request to alter fixed versions of bug #844148 to the same values previously set > thanks Stopping processing here.
Please contact me if you need assistance. -- 844148: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=844148 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
