Wrong type-hint, fixes #11731 #1274

Merged

Quix0r merged 1 commit from fixes/wrong-type-hint-int into develop 2022-07-13 21:08:24 +02:00

Conversation 0 Commits 1 Files changed 1 +1 -1

1 commit

Author	SHA1	Message	Date
Roland Häder	a3e1a43f79	Wrong type-hint, fixes #11731	2022-07-13 20:48:32 +02:00