Commit e8c48bb9 authored by Miroslav Kratochvil's avatar Miroslav Kratochvil
Browse files

WIP: more type golfing

parent 6a61931c
Pipeline #48332 failed with stages
in 5 minutes and 58 seconds