Message6416

Author jendrik
Recipients jendrik, malte
Date 2017-07-07.18:29:40
Content
You're right, thanks for correcting this! I updated the comment in the code for 
issue693 accordingly.
History
Date User Action Args
2017-07-07 18:29:40jendriksetrecipients: + jendrik, malte
2017-07-07 18:29:40jendriksetmessageid: <1499444980.99.0.761863620674.issue731@unibas.ch>
2017-07-07 18:29:40jendriklinkissue731 messages
2017-07-07 18:29:40jendrikcreate