From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sun, 5 May 2019 08:38:18 +0000 (+0200)
Subject: Merge branch 'master' into next
X-Git-Tag: v0.2.0~11
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=ee1923504763375bba189b3369f4cd188c9101f8;p=osl.git

Merge branch 'master' into next

* master:
  Add explanation about lifetime of table description.
---

ee1923504763375bba189b3369f4cd188c9101f8