From 1700e28efc807b6611ab1e4260df9a034c99f88b Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 15 May 2018 16:32:42 +0200 Subject: Bump trivmix --- custom/trivmix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'custom/trivmix') diff --git a/custom/trivmix b/custom/trivmix index 1010c8a3..9f564c87 160000 --- a/custom/trivmix +++ b/custom/trivmix @@ -1 +1 @@ -Subproject commit 1010c8a31e2b441683f5d8c3905a87d4369e7586 +Subproject commit 9f564c877b1166f6d0c637a4db0b2453c628efc6 -- cgit v1.2.3