Processed: www.debian.org: 614233: patch replacing Debian GNU/Linux where relevant

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> tags 614233 + patch
Bug #614233 [www.debian.org] www.debian.org: Debian = "Debian GNU/Linux" + "Debian GNU/kFreeBSD"
Added tag(s) patch.
> usertags 614233 + sentpatch
Bug#614233: www.debian.org: Debian = "Debian GNU/Linux" + "Debian GNU/kFreeBSD"
User is pabs@debian.org
There were no usertags set.
Usertags are now: sentpatch.
> thanks
Stopping processing here.

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