From 5eb42be9b1ffbd5cb063edfd5737494f8a7c882a Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 15 May 2018 18:03:44 +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 5d9387af..1bfaed79 160000 --- a/custom/trivmix +++ b/custom/trivmix @@ -1 +1 @@ -Subproject commit 5d9387af919e68ef51328352eca3e0bdf3b4989e +Subproject commit 1bfaed79925e65846bf7b8c1953f26c0198ee29a -- cgit v1.2.3