Could someone mark this bug closed? Storm 0.19 actually includes the patch (modulo some indentation changes)
Could someone mark this bug closed? Storm 0.19 actually includes the patch (modulo some indentation changes)