Reini's patch applied as r30719 and Gerd's patch suggestion applied as
r30720.  Thanks!

Reply via email to