tree fad43ab645081e6074075b839b0710947e133bf4
parent 58a237c3831a23da28fce00cc8fc5f49118722e8
parent 700617c0b3dfef3edaf7886b4774bdfe7063f01f
author Nils Diewald <nils@diewald-online.de> 1659973734 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1659973734 +0200

Merge "Bump jetty.version from 9.4.45.v20220203 to 9.4.48.v20220622"