Verified Commit 7930e585 authored by Jakob Moser's avatar Jakob Moser
Browse files

Fix typing, format and lint

parent 82d9ab82