Merge branch 'issue_3884' into develop
authorChristos KK Loverdos <loverdos@gmail.com>
Fri, 31 May 2013 09:35:40 +0000 (12:35 +0300)
committerChristos KK Loverdos <loverdos@gmail.com>
Fri, 31 May 2013 09:35:40 +0000 (12:35 +0300)
Refs #3884


Trivial merge