tree 0bbdfa91ba21f9cc2771dd014b50e6320d432c1c
parent 845335c7d750c94e3382a1eb3294dde83ac64ae3
parent 845335c7d750c94e3382a1eb3294dde83ac64ae3
parent aaa9d800631197d87fc69d02641dc0a5c72aa918
author margaretha <margaretha@ids-mannheim.de> 1696247845 +0200
committer margaretha <margaretha@ids-mannheim.de> 1698222392 +0200

Merge branch 'jakarta-migration' into master

Change-Id: Ia2485c291d0fa21b58029919295d35d9993efa9a