Build #12 (Jan 11, 2024, 4:00:19 PM)

1. Fix version of guava published to p2 site (#790) (details / githubweb)

Branch indexing

This run spent:

• 19 sec waiting;
• 3 min 51 sec build duration;
• 3 min 58 sec total from scheduled to completion.

• release_0.21