From 50337d7a46ebb7ecd49ca907807d6ce1c6433a9f Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 15 May 2018 15:57:28 +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 78850422..cca9139e 160000 --- a/custom/trivmix +++ b/custom/trivmix @@ -1 +1 @@ -Subproject commit 7885042246ac4a08e0f7b3ba27a7691a4908f3b6 +Subproject commit cca9139ed34788e34da599abefd8b2c31cffdeec -- cgit v1.2.3