Processing commands for [email protected]:

> severity 919477 normal
Bug #919477 {Done: Camm Maguire <[email protected]>} [src:acl2] acl2 ftbfs on 
armel, armhf, arm64 and ppc64el
Severity set to 'normal' from 'serious'
> tag 919477 - buster sid
Bug #919477 {Done: Camm Maguire <[email protected]>} [src:acl2] acl2 ftbfs on 
armel, armhf, arm64 and ppc64el
Removed tag(s) buster and sid.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
919477: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919477
Debian Bug Tracking System
Contact [email protected] with problems

Reply via email to