Petr Široký 3657375e97 Use String.join() instead of Collectors.joining() where applicable ...

* the String.join() is more readable and there should not be any
   downsides (like performance or so)

2023-03-12 23:08:32 +01:00

..

src

Use String.join() instead of Collectors.joining() where applicable

2023-03-12 23:08:32 +01:00

pom.xml

Next is 1.0.0-m5-SNAPSHOT

2023-01-28 14:41:03 +01:00