[optional.optional.general] Fix whitespace around pointer#7289
Merged
jensmaurer merged 1 commit intocplusplus:mainfrom Oct 8, 2024
Merged
[optional.optional.general] Fix whitespace around pointer#7289jensmaurer merged 1 commit intocplusplus:mainfrom
jensmaurer merged 1 commit intocplusplus:mainfrom