diff --git a/external/dev-ocean b/external/dev-ocean index bb4bd802..fb6e9629 160000 --- a/external/dev-ocean +++ b/external/dev-ocean @@ -1 +1 @@ -Subproject commit bb4bd802b318f68b2f4a9568bbb0d25bde7e24a9 +Subproject commit fb6e9629ff60fc71baa9601ab449983352e8372e