Processing commands for control@bugs.debian.org: > tags 1018748 + patch Bug #1018748 [reportbug] reportbug: override requests offer deprecated 'extra' priority option Ignoring request to alter tags of bug #1018748 to the same tags previously set > thanks Stopping processing here. Please contact me if you need assistance. -- 1018748: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1018748 Debian Bug Tracking System Contact owner@bugs.debian.org with problems