tree 05ad721b4461f508cc0fd45d8fb85927bf30b930
parent bf20d48be80dada47990d96a2bf1812aed62d2a2
author Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1639850619 +0100
committer Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1639850619 +0100

Release 3.1.3.

This is a rerelease of 3.1.2 with Javadocs in English.

Change-Id: I2590703346044e607c828363b2d2387fca6a0028