Skip to content

Use v.empty() instead of !v.size() #1720

Use v.empty() instead of !v.size()

Use v.empty() instead of !v.size() #1720