]> git.tue.mpg.de Git - osl.git/commitdiff
Merge branch 'refs/heads/t/build'
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 5 May 2019 08:37:20 +0000 (10:37 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 5 May 2019 08:37:20 +0000 (10:37 +0200)
A single commit that was cooking for four months.

* refs/heads/t/build:
  build: Fix dependencies for oslfsck.


Trivial merge