Processing commands for [email protected]: > reassign 1135720 gcl27 Bug #1135720 [src:acl2] acl2: FTBFS on loong64: Killed after 3 days of "Tick" Bug reassigned from package 'src:acl2' to 'gcl27'. No longer marked as found in versions acl2/8.6+dfsg-3. Ignoring request to alter fixed versions of bug #1135720 to the same values previously set > thanks Stopping processing here.
Please contact me if you need assistance. -- 1135720: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1135720 Debian Bug Tracking System Contact [email protected] with problems
