Fix 'declaration hides global declaration' warning#3751

Merged

nlohmann merged 2 commits intonlohmann:developfrom falbrechtskirchinger:fix-hidden-global-declaration

Sep 19, 2022

+16-24

Commits on Sep 17, 2022