Appease local mypy, which was for some reason complaining about this line#2226

Merged

tadhg-ohiggins merged 2 commits intomainfrom tadhg/mypy-weirdness

Sep 25, 2023

+1-1

Commits on Sep 22, 2023

Appease local mypy, which was for some reason complaining about this line.
tadhg-ohiggins
committed

Commits on Sep 25, 2023

Merge branch 'main' into tadhg/mypy-weirdness
tadhg-ohiggins
committed