HomeSoftware Heritage

Merge tag 'v0.5.2' into master

Description

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).

Empty Commit

This commit is empty and does not affect any paths.