]> git.tue.mpg.de Git - adu.git/commit
Merge branch 'master' into next next pu
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 3 May 2019 22:49:44 +0000 (00:49 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 3 May 2019 22:49:44 +0000 (00:49 +0200)
commit1484051142673f459911a711e15179a5971dca3e
tree2a25f295055872c45b7f2b91fbab61cbc5b7d7aa
parent48149bb0630121678fe63709125949bbc2729f80
parent272ef6dcb6bb9fbc6e4f2e2368329097fd80c5a9
Merge branch 'master' into next

* master:
  Remove some duplicate const specifiers.
  Add link to author homepage.
  Reword summary text.
  create: Make the directory scan more robust.