From 70eff8946bbcdab49dde202105d2191474b2b6e2 Mon Sep 17 00:00:00 2001 From: Troy McConaghy Date: Fri, 30 Nov 2018 10:05:59 +0100 Subject: [PATCH] Update dev-ocean submodule to latest commit --- external/dev-ocean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/dev-ocean b/external/dev-ocean index 17d9bbaf..947a1a71 160000 --- a/external/dev-ocean +++ b/external/dev-ocean @@ -1 +1 @@ -Subproject commit 17d9bbaffa0dcb29fc2e01794723c245f6f4a57d +Subproject commit 947a1a71e31698bb2dd0be5ae1f5c78bc3dc7b8f