diff --git a/external/dev-ocean b/external/dev-ocean index 95831642..79786228 160000 --- a/external/dev-ocean +++ b/external/dev-ocean @@ -1 +1 @@ -Subproject commit 958316426a441f34d05a2240806577008713b5a7 +Subproject commit 79786228757f8e39092d9dd5adf387097f0b02f6