Processing commands for [email protected]:

> tags 1135720 + sid forky
Bug #1135720 {Done: Camm Maguire <[email protected]>} [gcl27] acl2: FTBFS on 
loong64: Killed after 3 days of "Tick"
Added tag(s) forky and sid.
> 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

Reply via email to