Thaddeus Crews 9f222d500d
Merge pull request #104375 from YYF233333/is_empty
Replace `size() == 0` with `is_empty()`
2025-04-02 07:37:31 -05:00
..
2025-04-02 19:18:43 +08:00
2025-04-02 19:18:44 +08:00
2025-03-26 18:38:15 +01:00
2025-04-02 19:18:44 +08:00