[Preferences] Fix use of symbol for _PREFERENCE_THREADING#2496

ranocha merged 1 commit intomaintrixi-framework/Trixi.jl:mainfrom

vc/fixup_preferencetrixi-framework/Trixi.jl:vc/fixup_preferenceCopy head branch name to clipboard