tree fe4ed838ae424065a4536a001d9829ce3bee848b
parent cedba6603681bd25d57f217ba05b396131e65e31
parent 1856c994ac2b3423abe59c2326070030562a57ae
author Helge <stallkamp@ids-mannheim.de> 1700669651 +0100
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1700669651 +0100

Merge "Bump jetty.version from 9.4.52.v20230823 to 9.4.53.v20231009 (closes #83)"