Processed: tagging 907665

To: Tobias Frost <tobi@debian.org>
Cc: debian-policy@lists.debian.org
Subject: Processed: tagging 907665
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sat, 15 Sep 2018 10:33:05 +0000
Message-id: <[🔎] handler.s.C.153700732013067.transcript@bugs.debian.org>
References: <1537007316-1347-bts-tobi@debian.org>

Processing commands for control@bugs.debian.org:

> tags 907665 + pending
Bug #907665 [src:developers-reference] developers-reference: Section 6.7.9 about dbg packages outdated
Bug #870899 [src:developers-reference] devref: priority:extra is deprecated, please stops suggesting it
Added tag(s) pending.
Added tag(s) pending.
> thanks
Stopping processing here.

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

Reply to:

Prev by Date: Processed: reassign 870899 to src:developers-reference, forcibly merging 907665 870899
Next by Date: Processed (with 1 error): tagging 907665, forcibly merging 879863 870899
Previous by thread: Processed: reassign 870899 to src:developers-reference, forcibly merging 907665 870899
Next by thread: Processed: tagging 907665
Index(es):
- Date
- Thread