Skip to content

fix deprecated naming for stdc#1094

Merged
ofrimasad merged 2 commits intomasterfrom bugfix/SG-000_stdc_naming_deprecation_May 28, 2023