]> git.tuebingen.mpg.de Git - osl.git/commit
Merge branch 'master' into next
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 15 Feb 2019 18:20:45 +0000 (19:20 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 15 Feb 2019 18:20:45 +0000 (19:20 +0100)
commit816ab194ea72d52a75693ec7b82d55f84a88b914
tree0d686ed125094982788661058901a62e468ccca6
parenta7eaa5e0a5aea6b69c9b51df236b044bcbae652f
parent57c4450ea47bb1b85ce1b1a48cb3ecbc6dba6c55
Merge branch 'master' into next

* master:
  Add link to author homepage.