tree e10eadc62d6d1d8611cb5a3e5abfc2ea7dbe10f7
parent 41c4a554333a2fc8c32f9bd233290132b638de4b
author Stefan Seifert <stefanseifert@users.noreply.github.com> 1712675040 +0200
committer Stefan Seifert <stefanseifert@users.noreply.github.com> 1712675040 +0200

cosmetic: eliminate javadoc warnings (reported with java 17)