Message6321

Author jendrik
Recipients jendrik, malte, manuel
Date 2017-05-02.16:51:50
Content
Sounds good to me. Maybe it would be good to factor out the common casting code.
History
Date User Action Args
2017-05-02 16:51:50jendriksetmessageid: <1493736710.22.0.971218100509.issue718@unibas.ch>
2017-05-02 16:51:50jendriksetrecipients: + jendrik, malte, manuel
2017-05-02 16:51:50jendriklinkissue718 messages
2017-05-02 16:51:50jendrikcreate