tree 8113c2850e1049d8eae429af8e5c57628a44dd21
parent 684042ede32e343c49b4e53d160edfac9b26610a
author Stefan Seifert <stefanseifert@users.noreply.github.com> 1700149919 +0100
committer Stefan Seifert <stefanseifert@users.noreply.github.com> 1700149919 +0100

cosmetic: eliminate deprecation warning