Processed: unarchive

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> unarchive 1000026
Bug #1000026 {Done: Olek Wojnar <olek at debian.org>} [src:cegui-mk2] cegui-mk2: depends on obsolete pcre3 library
Unarchived Bug 1000026
> severity 1000026 serious
Bug #1000026 {Done: Olek Wojnar <olek at debian.org>} [src:cegui-mk2] cegui-mk2: depends on obsolete pcre3 library
Severity set to 'serious' from 'important'
> reassign 1000026 libcegui-mk2-dev
Bug #1000026 {Done: Olek Wojnar <olek at debian.org>} [src:cegui-mk2] cegui-mk2: depends on obsolete pcre3 library
Bug reassigned from package 'src:cegui-mk2' to 'libcegui-mk2-dev'.
Ignoring request to alter found versions of bug #1000026 to the same values previously set
No longer marked as fixed in versions cegui-mk2/0.8.7+git20220615-2.
> notfixed 1000026 cegui-mk2/0.8.7+git20220615-2
Bug #1000026 {Done: Olek Wojnar <olek at debian.org>} [libcegui-mk2-dev] cegui-mk2: depends on obsolete pcre3 library
Ignoring request to alter fixed versions of bug #1000026 to the same values previously set
> found 1000026 0.8.7+git20220615-2
Bug #1000026 {Done: Olek Wojnar <olek at debian.org>} [libcegui-mk2-dev] cegui-mk2: depends on obsolete pcre3 library
Marked as found in versions cegui-mk2/0.8.7+git20220615-2 and reopened.
> thanks
Stopping processing here.

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