fix: compilation error due to PR #573#575

Merged

mehah merged 1 commit intomehah:mainfrom Nottinghster:patch-7

Jul 25, 2023

+2-1

Commits on Jul 25, 2023

Fix compilation error due to PR #573
Nottinghster
authored