Cleanup: use a vector instead of a raw array.
authorCarl Hetherington <cth@carlh.net>
Sun, 3 Apr 2022 22:24:26 +0000 (00:24 +0200)
committerCarl Hetherington <cth@carlh.net>
Thu, 7 Apr 2022 20:13:11 +0000 (22:13 +0200)
commit547ee025d195f5881c7807f5373f3a52c490ada9
tree3936056b2f0253c694e75780c7a48e6ba5d04132
parentcfec442997414926dba43160d7185bae4446744a
Cleanup: use a vector instead of a raw array.
src/lib/ext.cc