diff --git a/thirdparty/optframe-external b/thirdparty/optframe-external index b621803..5a42545 160000 --- a/thirdparty/optframe-external +++ b/thirdparty/optframe-external @@ -1 +1 @@ -Subproject commit b6218036bc15e28974410e955ebf1c9e99369d89 +Subproject commit 5a42545616d7b109b8e5c62ddebedfba387fa5cb