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)
commit5a90443b0b0fa8b1a1e4d9bb5d8d927406d26236
treec309725d7f0ccc91671f94b004c9743c7785c895
parentfe2d65df73accef655d8c894e249be1c2309fd39
parent2626858450953ac65124765d2cd73d1602846372
Merge branch 'master' into 'master'

Don't pass root_dir to scan_source

See merge request !276