Skip to content

Apply suggested cleanup from #2253#2255

Merged
hannobraun merged 2 commits intohannobraun:mainfrom IamTheCarl:mainMar 7, 2024