diff --git a/external/dev-ocean b/external/dev-ocean
index ba2c2994..90846d10 160000
--- a/external/dev-ocean
+++ b/external/dev-ocean
@@ -1 +1 @@
-Subproject commit ba2c2994b238efdb30e89a5a769557862187a679
+Subproject commit 90846d10e449159eec5fe762d48e595d5a008135