From 3d1dfc09e4880af9f13a88e9e88e16ce68533b2e Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 15 May 2018 22:38:55 +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 b11192d8..7bd8b73c 160000 --- a/custom/trivmix +++ b/custom/trivmix @@ -1 +1 @@ -Subproject commit b11192d813bdf803011b4ea4cd3efead532d9b4c +Subproject commit 7bd8b73c107590bc2e578395fe940b95752654c0 -- cgit v1.2.3