Merge pull request #3797 from phil-davis/minorstuff
authorDaniel Molkentin <daniel@molkentin.de>
Thu, 10 Sep 2015 07:49:16 +0000 (09:49 +0200)
committerDaniel Molkentin <daniel@molkentin.de>
Thu, 10 Sep 2015 07:49:16 +0000 (09:49 +0200)
Minor build etc typos


Trivial merge