Matthias Sohn 8e7dfb5e4b Merge branch 'stable-5.12' into stable-5.13 ... * stable-5.12: Fix target platforms - jetty 9.4.43 moved to archive.eclipse.org - use the final release p2 repo instead of staging for 2021-09 Change-Id: I35c1264b8e9c63874663141288dca03b47f263ed		2021-11-03 23:18:21 +01:00
..
jetty-9.4.x.tpd	Merge branch 'stable-5.12' into stable-5.13	2021-11-03 23:18:21 +01:00