Processed: Re: Bug#190379: bugs.debian.org: Initial bug submission in mbox with corrected headers

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

Processing commands for control@bugs.debian.org:

> severity 190379 important
Bug#190379: bugs.debian.org: Initial bug submission in mbox with corrected headers
Severity set to `important'.

> tag 190379 pending
Bug#190379: bugs.debian.org: Initial bug submission in mbox with corrected headers
There were no tags set.
Tags added: pending

> merge 95373 190379
Bug#95373: bugs.debian.org; Retrieve as message/rfc822
Bug#190379: bugs.debian.org: Initial bug submission in mbox with corrected headers
Bug#105768: way to get original emails
Merged 95373 105768 190379.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)