tree 8884419adb373da33ac7d360208bdaeeaaffb0aa
parent bb70cdc6acf1b55d736ac86838efec3a409a082d
author Udo Schnurpfeil <udo.schnurpfeil@irian.eu> 1571840424 +0200
committer Udo Schnurpfeil <udo.schnurpfeil@irian.eu> 1571840424 +0200

* fix Jenkins build: set sources
* update some release plugins