From: Andre Noll <maan@tuebingen.mpg.de>
Date: Fri, 15 Feb 2019 18:20:45 +0000 (+0100)
Subject: Merge branch 'master' into next
X-Git-Tag: v0.2.0~12
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=816ab194ea72d52a75693ec7b82d55f84a88b914;p=osl.git

Merge branch 'master' into next

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

816ab194ea72d52a75693ec7b82d55f84a88b914