From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sat, 9 Feb 2019 18:32:26 +0000 (+0100)
Subject: Merge branch 'master' into next
X-Git-Url: http://git.tuebingen.mpg.de/?a=commitdiff_plain;h=95ae30d4b27fe6547e052193d08c481212af9d63;hp=95ae30d4b27fe6547e052193d08c481212af9d63;p=dss.git

Merge branch 'master' into next

* master:
  Add link to author homepage.
---