[developers] Sorry for the glitch, was: Re: two PET fixes checked into svn

[Bernd Kiefer]

Sorry for the glitch. Provided and checked in a fix for the fix.

Greetings,
                Bernd

-- 
In a world without walls and fences, who needs Windows or Gates?

**********************************************************************
Bernd Kiefer                                            Am Blauberg 16
kiefer at dfki.de                                      66119 Saarbruecken
+49-681/302-5301 (office)                      +49-681/3904507  (home)
**********************************************************************