From b50fc3c3dd08f0aefa2fd34b0e6fbc16a9e16358 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 15 May 2018 21:38:05 +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 ff19ca3b..5144d0d9 160000 --- a/custom/trivmix +++ b/custom/trivmix @@ -1 +1 @@ -Subproject commit ff19ca3b306f45477fdf45edf1ac66cf6e9944a9 +Subproject commit 5144d0d9aadda6453155b99589ec8c1a97bcd674 -- cgit v1.2.3