Commit e80577ee authored by Andreas Klöckner's avatar Andreas Klöckner Committed by Andreas Klöckner
Browse files

Add an int() cast to placate mypy

parent 92fc396f