tree 9087623815b14ee6c3736c1e776a5ef738d9f1de
parent 0344a8672324693d0e37de187c20133935f82050
author Hugo Hirsch <github@hugo-hirsch.de> 1603050178 +0200
committer Hugo Hirsch <github@hugo-hirsch.de> 1603050178 +0200

Adapt to new Maven name in Jenkins