Processed: unarchiving 494491, reopening 494491 ..., owner 494491

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

Processing commands for control@bugs.debian.org:

> #
> unarchive 494491
Bug #494491 {Done: Lionel Elie Mamane <lionel@mamane.lu>} [wnpp] ITP: isabelle -- Generic theorem proving environment
Unarchived Bug 494491
> reopen 494491
Bug #494491 {Done: Lionel Elie Mamane <lionel@mamane.lu>} [wnpp] ITP: isabelle -- Generic theorem proving environment
> retitle 494491 RFP: isabelle -- Generic theorem proving environment
Bug #494491 [wnpp] ITP: isabelle -- Generic theorem proving environment
Changed Bug title to 'RFP: isabelle -- Generic theorem proving environment' from 'ITP: isabelle -- Generic theorem proving environment'
> owner 494491 !
Bug #494491 [wnpp] RFP: isabelle -- Generic theorem proving environment
Owner changed from Lionel Elie Mamane <lionel@mamane.lu>, brucker@member.fsf.org to Joachim Breitner <nomeata@debian.org>.
> thanks
Stopping processing here.

Please contact me if you need assistance.

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