commit | 6c76a0954bb281401ed9a607c03b78498f76b680 | [log] [tgz] |
---|---|---|
author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | Sat Dec 18 19:03:39 2021 +0100 |
committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | Sat Dec 18 19:03:39 2021 +0100 |
tree | 05ad721b4461f508cc0fd45d8fb85927bf30b930 | |
parent | bf20d48be80dada47990d96a2bf1812aed62d2a2 [diff] |
Release 3.1.3. This is a rerelease of 3.1.2 with Javadocs in English. Change-Id: I2590703346044e607c828363b2d2387fca6a0028