Growing std::vector by a factor that allows memory reuse (2020)

		Growing std::vector by a factor that allows memory reuse (2020) (github.com/facebook)
		1 point by nequo on May 6, 2023 \| hide \| past \| favorite