Commit c1a75d36c773f80788b07470280fe337d48fefbe

jfkthame 2025-08-21T17:38:04

Avoid UB if shrink_vector(0) is called on an already-empty vector (#5491) Fixes #5489