Comment 1 for bug 393967

Revision history for this message
Jason Baker (jbaker) wrote :

A fix is committed in lp:~zeomega/storm/zeomega_storm rev 339