From d4fe67add3192e797b3cafc3f809c60e5b8e64c5 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 15 May 2018 23:08:59 +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 7bd8b73c..19b440fb 160000 --- a/custom/trivmix +++ b/custom/trivmix @@ -1 +1 @@ -Subproject commit 7bd8b73c107590bc2e578395fe940b95752654c0 +Subproject commit 19b440fbabf5bc95e97a7a53119ec6218c3639d7 -- cgit v1.2.3