Merge remote-tracking branch 'origin/pr/13505'
Fixes #13505.(cherry picked from commit eb5a897161d4c6daf4a4fa80eca42829cc501a75)
Franz Pletz 10 years ago 613dfd51 3a5a26e2