From 090c8ca87c1b1a84d2291678724edb4112e12c7f Mon Sep 17 00:00:00 2001
From: Gregor Kleen <pngwjpgh@users.noreply.github.com>
Date: Tue, 2 Aug 2016 18:13:48 +0200
Subject: bump trivmix

---
 custom/trivmix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/custom/trivmix b/custom/trivmix
index 1a446cf6..72467d55 160000
--- a/custom/trivmix
+++ b/custom/trivmix
@@ -1 +1 @@
-Subproject commit 1a446cf61c71d921e511b1350a97c63cae460e93
+Subproject commit 72467d55a7b6e3afcafc2cd1527da10574cf6366
-- 
cgit v1.2.3