From 26abf5ab9672f99f07b96ba1c0fa0c4aba5095e7 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 15 May 2018 22:26:14 +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 96ca64f7..8a8d1a99 160000 --- a/custom/trivmix +++ b/custom/trivmix @@ -1 +1 @@ -Subproject commit 96ca64f769e84ff8714889ee8d75fa2ade2e014d +Subproject commit 8a8d1a99243af120b2e4187c2d90855f02f85f31 -- cgit v1.2.3