]> git.tue.mpg.de Git - dss.git/commit
Merge branch 'master' into next
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 9 Feb 2019 18:32:26 +0000 (19:32 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 9 Feb 2019 18:32:26 +0000 (19:32 +0100)
commit95ae30d4b27fe6547e052193d08c481212af9d63
tree975d800124faa5e2f129ba94a5c642a12b5ecd2b
parent4b93d353a2ac15b45b9e6064620bf93e41aa1b51
parent54914a45725755f4b689465951cde2b4bffe7a3d
Merge branch 'master' into next

* master:
  Add link to author homepage.