section_names doesn't need to be a pointer #16657
Merged
Azure Pipelines / Azure pipelines (Windows_DMD_latest x64)
succeeded
Jul 4, 2024 in 37m 21s
Windows_DMD_latest x64 succeeded
Loading