From f80f85a101dfd050e290a6bc4fb5a7de606bbff7 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 15 May 2018 13:03:31 +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 72dfd7bd..5d38dd48 160000 --- a/custom/trivmix +++ b/custom/trivmix @@ -1 +1 @@ -Subproject commit 72dfd7bdb13e71c04604c0458582960259ec8fbf +Subproject commit 5d38dd48cc8e5349803064eb521117b3f20b3c74 -- cgit v1.2.3