update deps

This commit is contained in:
Vladyslav Usenko 2020-04-16 13:16:50 +02:00
parent 24e378a7a1
commit 2218740b54
3 changed files with 3 additions and 3 deletions

2
thirdparty/CLI11 vendored

@ -1 +1 @@
Subproject commit ffe5b29e1f187d3acfe2b02bc3bebc43408dac66
Subproject commit b9a2f320b912aae623c4acddea06cba399b98654

2
thirdparty/Pangolin vendored

@ -1 +1 @@
Subproject commit b6cecf4e5faaa9cf6039f98c8d263cbc169f0b5d
Subproject commit 1a94ff787bc042b4b00db371668e2544240588ed

@ -1 +1 @@
Subproject commit 1ec2e88778f35b56abdcd1658b6c6ba9c5ef0d85
Subproject commit c17b8d6ba96a2cdd0ade72e66dbb01bda455cbe9