[patch] PR54150

[Steven Bosscher]

Hello,

This patch fixes PR54150. The patch was approved by Richi in Bugzilla,
but I won't commit this for a few days so that others can speak up if
they don't agree.

Ciao!
Steven

PR54150.diff
Description: Binary data