chiark / gitweb /
Merge branch 'master' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Thu, 25 May 2017 18:49:14 +0000 (18:49 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Thu, 25 May 2017 18:49:14 +0000 (18:49 +0000)
Don't pass root_dir to scan_source

See merge request !276


Trivial merge