Processed: Tag 802341 As Pending

Debian Bug Tracking System owner at bugs.debian.org
Mon Oct 19 21:51:16 UTC 2015


Processing commands for control at bugs.debian.org:

> tags 802341 + pending
Bug #802341 [src:polyml] polyml: add arm64
Added tag(s) pending.
> thanks
Stopping processing here.

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



More information about the debian-science-maintainers mailing list