Merge pull request #2175 from DOCGroup/jwillemsen-patch-1
commitd0b8a6b674bf18bfdeda84d62cb764d3ddb88318
authorJohnny Willemsen <jwillemsen@remedy.nl>
Fri, 15 Dec 2023 15:10:41 +0000 (15 16:10 +0100)
committerGitHub <noreply@github.com>
Fri, 15 Dec 2023 15:10:41 +0000 (15 16:10 +0100)
treeccebc4f7a83c7c1ee1fa6250a60d50864a5c39a4
parent58ea863f3a2e50b6a3045b59c7f1f060a8b7b5ae
parent5c55d4bad28ef61b1982d7f72c49675c661a1bf6
Merge pull request #2175 from DOCGroup/jwillemsen-patch-1

Upgrade to vcpkg 2023.12.12