#2 (Mar 11, 2024, 10:39:11 AM)

1. use javatime in managed scheduled thread pool executor (details / githubweb)
2. remove dead code (details / githubweb)

Started by user arjan tijms

Rebuilds build #1

This run spent:

• 13 sec waiting;
• 3 min 18 sec build duration;
• 3 min 31 sec total from scheduled to completion.

• refs/remotes/origin/master