Merge branch 'release9.2/fixes/make-install-fix' into release9.2/fixes/jenkins-fix
authorJohn Detter <jdetter@wisc.edu>
Mon, 29 Aug 2016 15:09:33 +0000 (10:09 -0500)
committerJohn Detter <jdetter@wisc.edu>
Mon, 29 Aug 2016 15:09:33 +0000 (10:09 -0500)
commitc785d4c3bcaebca92446b841fdd423c44913273d
treec7be4c8d72260c4c4f95f42ff5e9883527619394
parent9411854e98ae5d3a5a49679b8fabdb01d9bffaef
parent9726d0336d195440d62199a847d3568c9e0ac68c
Merge branch 'release9.2/fixes/make-install-fix' into release9.2/fixes/jenkins-fix