Closed emarsman closed 7 years ago
Closes #385. Fix travis build by sticking with Ubuntu 12.04. merge in master.
Closes #385. Fix travis build by sticking with Ubuntu 12.04. merge in master.