From 94f40cf53135d4d0af9dd4485e389888f05122b1 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 15 May 2018 17:52:50 +0200 Subject: Bump trivmix --- custom/trivmix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/custom/trivmix b/custom/trivmix index 9f564c87..5d9387af 160000 --- a/custom/trivmix +++ b/custom/trivmix @@ -1 +1 @@ -Subproject commit 9f564c877b1166f6d0c637a4db0b2453c628efc6 +Subproject commit 5d9387af919e68ef51328352eca3e0bdf3b4989e -- cgit v1.2.3