Re: "Flexvector" vs adding "capacity" to "vector" Shiro Kawai 13 Oct 2020 19:12 UTC