Fix mypy errors introduced by GH-1012#1014

Merged

BoboTiG merged 1 commit intogorakhargosh:masterfrom msabramo:fix-mypy-errors

Oct 9, 2023

+6-3

Commits on Oct 9, 2023

Fix mypy errors introduced by gorakhargoshGH-1012
msabramo
committed