Tilman
--------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
ICYMI I've changed the jdk13 build job into a jdk15 build job on
Jenkins. Related (fixed) issue: PDFBOX-4799.
