Merge pull request #363 from rqou/master
authorClifford Wolf <clifford@clifford.at>
Tue, 18 Jul 2017 13:21:12 +0000 (15:21 +0200)
committerGitHub <noreply@github.com>
Tue, 18 Jul 2017 13:21:12 +0000 (15:21 +0200)
commitdbb2f755c1150b45cce5870530d0d1e2be80f519
tree31cdb36bab91235038d2501f6dec856325d7e30d
parentc00d8a5b73306b6fd02471382b25cc3dd321a2fc
parent85d667ca08d53c4869c8212bd79155422941aa2d
Merge pull request #363 from rqou/master

Miscellaneous build tweaks