From 2218740b54fc79d75b3651df5e7d1e3d42456bb5 Mon Sep 17 00:00:00 2001 From: Vladyslav Usenko Date: Thu, 16 Apr 2020 13:16:50 +0200 Subject: [PATCH] update deps --- thirdparty/CLI11 | 2 +- thirdparty/Pangolin | 2 +- thirdparty/basalt-headers | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/thirdparty/CLI11 b/thirdparty/CLI11 index ffe5b29..b9a2f32 160000 --- a/thirdparty/CLI11 +++ b/thirdparty/CLI11 @@ -1 +1 @@ -Subproject commit ffe5b29e1f187d3acfe2b02bc3bebc43408dac66 +Subproject commit b9a2f320b912aae623c4acddea06cba399b98654 diff --git a/thirdparty/Pangolin b/thirdparty/Pangolin index b6cecf4..1a94ff7 160000 --- a/thirdparty/Pangolin +++ b/thirdparty/Pangolin @@ -1 +1 @@ -Subproject commit b6cecf4e5faaa9cf6039f98c8d263cbc169f0b5d +Subproject commit 1a94ff787bc042b4b00db371668e2544240588ed diff --git a/thirdparty/basalt-headers b/thirdparty/basalt-headers index 1ec2e88..c17b8d6 160000 --- a/thirdparty/basalt-headers +++ b/thirdparty/basalt-headers @@ -1 +1 @@ -Subproject commit 1ec2e88778f35b56abdcd1658b6c6ba9c5ef0d85 +Subproject commit c17b8d6ba96a2cdd0ade72e66dbb01bda455cbe9