#173 (Feb 10, 2024, 1:38:11 AM)

Started 2 yr 3 mo ago

Took 12 sec

#64: Remove workaround patch for OpenJDK linux distro bug

It's been resolved for quite some time now.