Processed: unmerging 742227, tagging 742227

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> unmerge 742227
Bug #742227 [reportbug] reportbug: use ~/.config/ to save personal configuration
Bug #787911 [reportbug] reportbug: Read config from XDG_CONFIG_HOME/debian/reportbugrc.
Disconnected #742227 from all other report(s).
> tags 742227 - patch
Bug #742227 [reportbug] reportbug: use ~/.config/ to save personal configuration
Removed tag(s) patch.
> thanks
Stopping processing here.

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