Skip to content
Back to pull request #612

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

Sign in to view logs

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

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

ubuntu-build (OFF)

ubuntu-build (OFF)
succeeded Mar 20, 2024 in 2m 20s