Revision 93eaa208f80837f5d98f349dcf614da8e668789a

Committed on 15/01/2016 11:51 pm by mgp25 <[email protected]> [GitHub Diff]

fixes #1490