diff --git a/external/dev-ocean b/external/dev-ocean
index ab9e7a18..b082789e 160000
--- a/external/dev-ocean
+++ b/external/dev-ocean
@@ -1 +1 @@
-Subproject commit ab9e7a18c9a2b61dfaf4854e46748c603208ff20
+Subproject commit b082789e850b6cdf5af129352f58e029b4a8637b