Remove unused ee10-demo-realm files and add distro test#9886

Merged

janbartel merged 2 commits intojetty-12.0.xfrom jetty-12.0.x-remove-ee10-demo-realm

Jun 8, 2023

+47-82

Commits on Jun 7, 2023

Remove unused ee10-demo-realm files and add distro test
janbartel
committed
Merge remote-tracking branch 'origin/jetty-12.0.x' into jetty-12.0.x-remove-ee10-demo-realm
janbartel
committed