]> git.tuebingen.mpg.de Git - osl.git/commit
Merge branch 'master' into next
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 5 May 2019 08:38:18 +0000 (10:38 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 5 May 2019 08:38:18 +0000 (10:38 +0200)
commitee1923504763375bba189b3369f4cd188c9101f8
treeb2ab02d4a0b8f8d5db4cbdf45a2d6e0739365ea0
parent816ab194ea72d52a75693ec7b82d55f84a88b914
parent280f5eaf389483d35af6ad9211d003ffa73cb2ac
Merge branch 'master' into next

* master:
  Add explanation about lifetime of table description.