Am 17.10.2013 um 17:45 schrieb Richard Bair <richard.b...@oracle.com>:
> Usually, file jira and attach a patch (and a unit test for expedited service > :-)) > > Richard Ok, I'll check that for the future. Actually, I am not sure how a unit test would look like for a crash fix like that ;) Matthias