Processed: Re: Bug#583692: freecol: crash with openjdk: SIGSEGV (0xb) at pc=0x00007fe3a23608d6, pid=2292, tid=140615208855824

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 583692 grave
Bug #583692 [freecol] freecol: crash with openjdk: SIGSEGV (0xb) at pc=0x00007fe3a23608d6, pid=2292, tid=140615208855824
Severity set to 'grave' from 'important'

> thanks
Stopping processing here.

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