Processed: stk bug triaging

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forcemerge 619071 708996
Bug #619071 [supertuxkart] supertuxkart: hang down after several race - SIGSEGV
Bug #677609 [supertuxkart] supertuxkart: segmentation fault during a race
Bug #695747 [supertuxkart] libirrlicht1.7a: seg fault on kde 4.8.4
Bug #703783 [supertuxkart] supertuxkart: Bus error during a race
Bug #708996 [supertuxkart] supertuxkart keeps crashing randomly and one of the sprites is mangled
Set Bug forwarded-to-address to 'https://sourceforge.net/apps/trac/supertuxkart/ticket/652'.
Severity set to 'important' from 'normal'
Marked as fixed in versions supertuxkart/0.7.3-2+exp1.
Marked as found in versions supertuxkart/0.7.3-1.
Added tag(s) confirmed and help.
Bug #677609 [supertuxkart] supertuxkart: segmentation fault during a race
Bug #695747 [supertuxkart] libirrlicht1.7a: seg fault on kde 4.8.4
Bug #703783 [supertuxkart] supertuxkart: Bus error during a race
Merged 619071 677609 695747 703783 708996
> # 679837 shouldn't actually be marked as resolved
> # since it's just no longer reproducible in experimental instead
> reopen 679837
Bug #679837 {Done: Vincent Cheng <Vincentc1208 at gmail.com>} [supertuxkart] supertuxkart: Monkey kart drawn incorrectly
'reopen' may be inappropriate when a bug has been closed with a version;
all fixed versions will be cleared, and you may need to re-add them.
Bug reopened
No longer marked as fixed in versions supertuxkart/0.7.3-2+exp1.
> found 679837 0.7.3-1
Bug #679837 [supertuxkart] supertuxkart: Monkey kart drawn incorrectly
Marked as found in versions supertuxkart/0.7.3-1.
> fixed 679837 0.7.3-2+exp1
Bug #679837 [supertuxkart] supertuxkart: Monkey kart drawn incorrectly
Marked as fixed in versions supertuxkart/0.7.3-2+exp1.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
619071: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=619071
677609: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=677609
679837: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=679837
695747: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=695747
703783: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=703783
708996: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=708996
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems