fix types highestmodseq

This commit is contained in:
grimhilt
2023-05-02 12:12:09 +02:00
parent 91a52a29ce
commit 29b4b7bfeb
4 changed files with 8 additions and 7 deletions