Message6091

Author florian
Recipients florian, gabi, jendrik, malte, salome, silvan
Date 2017-01-12.11:50:49
Content
I prepared a pull request for the proposed change but I really don't understand
what the code is supposed to do (the patch only recreates the control flow from
6 years ago). Malte, should I put this into the review queue? Or is someone else
familiar enough with this part of the code to review it?

https://bitbucket.org/FlorianPommerening/downward-issues/pull-requests/33/issue383/diff
History
Date User Action Args
2017-01-12 11:50:49floriansetmessageid: <1484218249.35.0.451084625307.issue383@unibas.ch>
2017-01-12 11:50:49floriansetrecipients: + florian, malte, gabi, jendrik, silvan, salome
2017-01-12 11:50:49florianlinkissue383 messages
2017-01-12 11:50:49floriancreate