Richard Kenner Thu, 30 Jun 2005 10:51:34 -0700
I can confirm that Zdenek's patch for PR 21963 also fixes PR 22212.
