From: Andre Noll <maan@tuebingen.mpg.de>
Date: Fri, 12 Dec 2014 13:21:53 +0000 (+0100)
Subject: Merge branch 'refs/heads/t/min-complete'
X-Git-Tag: v0.1.6~16
X-Git-Url: http://git.tuebingen.mpg.de/dss.git/log?p=dss.git;a=commitdiff_plain;h=15eb99dcf9a30f8c8d488d5bc3c92130cf828d60

Merge branch 'refs/heads/t/min-complete'
---

15eb99dcf9a30f8c8d488d5bc3c92130cf828d60