Author guillem
Recipients florian, guillem, jendrik, malte, manuel, silvan
Date 2017-12-07.13:20:21
Thanks Malte, sounds good. I have drafted an experiments setup for this, but 
probably best will be to steal yet 5 more minutes tomorrow to Jendrik/Florian to 
check everything is correct, and then we're good to run the experiments.
Date User Action Args
2017-12-07 13:20:21guillemsetmessageid: <>
2017-12-07 13:20:21guillemsetrecipients: + guillem, malte, jendrik, silvan, florian, manuel
2017-12-07 13:20:21guillemlinkissue724 messages
2017-12-07 13:20:21guillemcreate