[storm] Releasing 0.20

[Markus Kemmerling]

Am 02.01.2013 um 17:37 schrieb Free Ekanayaka <free.ekanayaka at gmail.com>:

> the last Storm release (0.19) is now more than a year old. Shall we
> release 0.20? Any blocker/RC for that?

Not a blocker, but it would be great if any of the Storm gurus could have a look at an old bug that was introduced in storm 0.17  and is still in status 'new':

https://bugs.launchpad.net/storm/+bug/620369

I have no clue how to fix this.

Best regards,
Markus Kemmerling