Commit 1faa2235 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

Better attempt to appease mypy.

parent e95c60e4
Pipeline #1764 failed with stage
in 22 seconds