Message5960

Author florian
Recipients florian, jendrik, malte
Date 2016-12-21.15:19:36
Content
I started working on this and put up a pull request, but I suggest we wait with
this until at least issue629 and and issue688 are merged.

https://bitbucket.org/FlorianPommerening/downward-issues/pull-requests/30
History
Date User Action Args
2016-12-21 15:19:36floriansetmessageid: <1482329976.82.0.433206384246.issue700@unibas.ch>
2016-12-21 15:19:36floriansetrecipients: + florian, malte, jendrik
2016-12-21 15:19:36florianlinkissue700 messages
2016-12-21 15:19:36floriancreate