Author silvan
Recipients jendrik, malte, silvan
Date 2017-12-07.10:00:00
Jendrik, should that change happen in the same lab issue or rather in a separate
(default branch?) commit?

Other than that, this issue "only" needs another round of reviewing. Malte, do
you also want to look into the code? If yes, should I queue the issue or would
you rather take it separately?
Date User Action Args
2017-12-07 10:00:00silvansetmessageid: <>
2017-12-07 10:00:00silvansetrecipients: + silvan, malte, jendrik
2017-12-07 10:00:00silvanlinkissue739 messages
2017-12-07 10:00:00silvancreate