tree 213187dff70f3fecb8f8f0c3ca8370534aa6a2de
parent 52316a7207b77816352cc5dbdaa87d68ff9bbcde
author mwienand <matthias.wienand@itemis.de> 1530089444 +0200
committer mwienand <matthias.wienand@itemis.de> 1530089444 +0200

Add archives for 4.0.0, 4.1.0, 5.0.0, 5.0.1, and 5.0.2.