Jan Friso Groote

#### 2010-11-18 23:44:50: [email protected] commented ___ Great idea, I'm all for it! (But don't have the time to work on it... there's still a state positioning improvement waiting to be...

#### 2011-06-22 08:51:52: @jkeiren

#### 2014-09-03 14:04:06: [email protected] changed type from *defect* to *feature request*

#### 2016-11-24 19:33:44: @wiegerw changed status from *new* to *assigned*

#### 2016-11-24 19:33:44: @wiegerw changed owner from *fstapper* to *jfg*

#### 2016-11-24 19:33:44: @wiegerw

#### 2017-05-04 15:36:12: @wiegerw

#### 2010-02-09 13:02:16: @jkeiren

#### 2012-03-05 14:15:27: @jkeiren

#### 2012-03-05 14:16:04: @jkeiren commented ___ This issue seems to pop up regularly recently. Schedule this for the next mCRL2 release.