Message6385

Author jendrik
Recipients florian, haz, jendrik, malte, manuel
Date 2017-05-22.11:47:43
Content
Copy plans for detecting plugin name collisions from issue729.
History
Date User Action Args
2017-05-22 11:47:43jendriksetmessageid: <1495446463.55.0.00425201361026.issue588@unibas.ch>
2017-05-22 11:47:43jendriksetrecipients: + jendrik, malte, haz, florian, manuel
2017-05-22 11:47:43jendriklinkissue588 messages
2017-05-22 11:47:43jendrikcreate