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)
commit8e2b9c6f12eeb88951fd5ca3a52fe2122f6ec58a
tree12fc7ef1455b81787aeb7bfb0545f944bb847257
parent144a1a1922d3d04016d5514ba4762716c2f80269
parent7d191763b59f80e216390a441f22ad1b6d582086
Merge pull request #3797 from phil-davis/minorstuff

Minor build etc typos