From eb5a39aee4c9f4767f23911495d7a72e5bf27471 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Wed, 10 Jun 2015 11:14:18 +0200 Subject: Version bump in trivmix --- trivmix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'trivmix') diff --git a/trivmix b/trivmix index 36913cee..42c671b4 160000 --- a/trivmix +++ b/trivmix @@ -1 +1 @@ -Subproject commit 36913cee57aa06357734cd1bfe3362a720b005a5 +Subproject commit 42c671b4a48dd1431ab43c1f842af33e2fe5cbe9 -- cgit v1.2.3