Am Freitag 04 Januar 2008 11:49:51 schrieb Mauricio Piacentini: > > This seems to correspond to an older version of the page? I edited it > last week (removed some outdated info about examples), but there is > still one spelling error in your patch that I missed. > No, its a diff against r754260. Thanks. Burkhard Lück