Skip to content
Snippets Groups Projects

Apply suggestions from @vlorentz and add typing

Failed
Jenkins Bot created pipeline for commit 64b73ab6
, finished
1 related merge request: !137 Fix deanonymized exports
branch
1 job