Merge tag 'v0.5.2' into master
This tag cherry-picked a few commits on top of v0.5.1 instead of the
current master; because current master is rejected by PyPI (because the
Java code refactoring doubled the size of the JAR).
vlorentz | Authored on Mar 25 2022, 3:56 PM |
vlorentz | Pushed on Mar 25 2022, 3:57 PM |
Buildable 27825 | |
Build 43561: test-and-build | Jenkins console · Jenkins |