Message4362

Author jendrik
Recipients erez, florian, haz, jendrik, malte
Date 2015-07-14.20:09:53
Content
Using the new task interface in merge-and-shrink is issue548.
History
Date User Action Args
2015-07-14 20:09:53jendriksetmessageid: <1436897393.59.0.77189384149.issue509@unibas.ch>
2015-07-14 20:09:53jendriksetrecipients: + jendrik, malte, erez, haz, florian
2015-07-14 20:09:53jendriklinkissue509 messages
2015-07-14 20:09:53jendrikcreate