tree 73c6d7f8a154da9e1ddb6fbbef772d16c9c119c7
parent b250ddc1e8d945d479b84c02cc5431a467af9d20
parent c3b7e386215b14fdd05340795865958899bc2cdd
author Marc Kupietz <kupietz@ids-mannheim.de> 1623414394 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1623414394 +0200

Merge "Bump jetty.version from 9.4.41.v20210516 to 9.4.42.v20210604 in /core"