Author florian
Recipients florian, guillem, jendrik, silvan
Date 2018-02-09.17:39:38
I added the related issues to the summary (and added issue509) where it's easier
to keep track of them and possible to update the list.

Also, FYI: if you just write issueXYZ for an issue number XYZ, the tracker will
create links and tool tips for you.
Date User Action Args
2018-02-09 17:39:38floriansetmessageid: <>
2018-02-09 17:39:38floriansetrecipients: + florian, jendrik, silvan, guillem
2018-02-09 17:39:38florianlinkissue757 messages
2018-02-09 17:39:38floriancreate