Merge pull request #1186 from jgunderson/22313
authorshackbarth <stephenhackbarth@gmail.com>
Sun, 12 Jan 2014 21:05:42 +0000 (13:05 -0800)
committershackbarth <stephenhackbarth@gmail.com>
Sun, 12 Jan 2014 21:05:42 +0000 (13:05 -0800)
22313, install script changes


Trivial merge