Processed: closing 140725
Processing commands for control@bugs.debian.org:
> close 140725
Bug#140725: www.debian.org: no link to the buildd logs in /ports/
'close' is deprecated; see http://www.debian.org/Bugs/Developer#closing.
Bug closed, send any further explanations to Christian Hammers <ch@debian.org>
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
140725: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=140725
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: