Message6640

Author guillem
Recipients florian, gfrances, guillem, jendrik, malte, manuel, silvan
Date 2017-11-30.10:06:04
Content
I have created a first PR with the changes we discussed in person here:

https://bitbucket.org/gfrances/downward/pull-requests/1/issue724/diff
History
Date User Action Args
2017-11-30 10:06:04guillemsetmessageid: <1512032764.49.0.598782467709.issue724@unibas.ch>
2017-11-30 10:06:04guillemsetrecipients: + guillem, malte, jendrik, silvan, florian, gfrances, manuel
2017-11-30 10:06:04guillemlinkissue724 messages
2017-11-30 10:06:04guillemcreate