From 8ce932756e4d39b8d348f7fa4c34f0458fdbb6e1 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 15 May 2018 22:37:03 +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 8a8d1a99..b11192d8 160000 --- a/custom/trivmix +++ b/custom/trivmix @@ -1 +1 @@ -Subproject commit 8a8d1a99243af120b2e4187c2d90855f02f85f31 +Subproject commit b11192d813bdf803011b4ea4cd3efead532d9b4c -- cgit v1.2.3