Alexander Schwartz cd9e0be9f0 Filter first, then sort, and avoid atomics ... Closes #20394		2023-06-05 11:23:54 +02:00
..
src	Filter first, then sort, and avoid atomics	2023-06-05 11:23:54 +02:00
pom.xml	Use JakartaEE dependencies	2023-04-27 13:36:54 +02:00