On Sonntag, 8. Dezember 2002 01:59, Dirk Mueller wrote:
> CVS commit by mueller:
>
> being pedantic
>
We need a valgrind hook: "used if shortly before delete on variable" :)

Greetings, Stephan