tree 1f13609ae1d66f6e09d48cf0612fd12a528adec7
parent a04c9a8ac3d023cca34a682f5b25c22bf96af4d2
parent bfc71910e9cedd01c6a4f45c523b309090caba39
author Helge <stallkamp@ids-mannheim.de> 1679501540 +0100
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1679501540 +0100

Merge "Bump jetty.version from 9.4.50.v20221201 to 9.4.51.v20230217 (closes #57)"