From f9c2aacd26bb654f7b0615d2c0d0e155a6bae3e2 Mon Sep 17 00:00:00 2001 From: Troy McConaghy Date: Thu, 22 Nov 2018 10:44:09 +0100 Subject: [PATCH] Update the dev-ocean submodule --- external/dev-ocean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/dev-ocean b/external/dev-ocean index 0aeaf4ee..dfaf26f5 160000 --- a/external/dev-ocean +++ b/external/dev-ocean @@ -1 +1 @@ -Subproject commit 0aeaf4eeadda2901da629ead14748c89d05c26dc +Subproject commit dfaf26f53366130da2973a25e596f0ed6fe7b0c7