From 0b51bdc5a4ed77bd1727be04767746162463d631 Mon Sep 17 00:00:00 2001 From: bjorn Date: Sun, 18 Jul 2021 21:04:30 -0700 Subject: [PATCH] bump ode; --- deps/ode | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/ode b/deps/ode index 2e1d222b..31d0fae5 160000 --- a/deps/ode +++ b/deps/ode @@ -1 +1 @@ -Subproject commit 2e1d222b71d01957c12696b9c1bc68499d5e9e27 +Subproject commit 31d0fae51df70fea6969ba62393215d02bb31cdf