From 015ebf41e8aaaf59e8099bc3275a44b24d6f16a6 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 15 May 2018 21:25:23 +0200 Subject: Bump trivmix --- custom/trivmix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'custom') diff --git a/custom/trivmix b/custom/trivmix index 55cee110..67ecbcfc 160000 --- a/custom/trivmix +++ b/custom/trivmix @@ -1 +1 @@ -Subproject commit 55cee1104651ec938b8f4412993780b766a30f33 +Subproject commit 67ecbcfc95a8d2c214fac546fc7d2e83d4c4fc10 -- cgit v1.2.3