Skip to content

Cleanup: use record if possible#1710

Merged
dennisguse merged 4 commits intomainfrom cleanupSep 28, 2023