Fix GCC warning: ignoring #pragma warning#83
Merged
pcolberg merged 2 commits intointel:mainfrom Feb 22, 2022
pcolberg:pragma-warning
Merged
Fix GCC warning: ignoring #pragma warning#83pcolberg merged 2 commits intointel:mainfrom pcolberg:pragma-warning
pcolberg merged 2 commits intointel:mainfrom
pcolberg:pragma-warning