Commit efb432c9b9d65c53ba12293423090810e820b178

Edward Thomson 2016-06-01T11:05:45

Merge pull request #3801 from ethomson/warning cleanup: unused warning