Revision 5f32bd7d072c067e2d7fcd1cb8b356124514a40e

Committed on 11/01/2016 9:48 am by mgp25 <[email protected]> [GitHub Diff]

Fixes #1430