Temporary commit of fix to issue #5380 (in order to watch buildbot response)
3 files changed