Message6345

Author jendrik
Recipients danielk, erez, florian, gabi, jendrik, malte, silvia
Date 2017-05-07.17:40:08
Content
Can anybody think of additional code that we'd like to put into its own namespace? 
If not, we can probably close this issue.
History
Date User Action Args
2017-05-07 17:40:08jendriksetmessageid: <1494171608.92.0.657132240964.issue64@unibas.ch>
2017-05-07 17:40:08jendriksetrecipients: + jendrik, malte, erez, gabi, silvia, florian, danielk
2017-05-07 17:40:08jendriklinkissue64 messages
2017-05-07 17:40:08jendrikcreate