Skip to content

replace .size() == 0 with empty() #1940

replace .size() == 0 with empty()

replace .size() == 0 with empty() #1940

ubuntu-build (OFF)

succeeded Mar 20, 2024 in 1m 21s