Deleting user error

[Bernhard Reiter]

Am Samstag, 15. Oktober 2005 19:10 schrieb Martin Konold:
> Am Dienstag 02 November 2004 16:40 schrieb Peter Marinov:

> >  - User Deleted, awaiting cleanup... -
> >
> > The message is still there after 1 day.

This is  known bug, see issues 882 and 884 for discussion
and the note when the fix hit the CVS. 
You can probably extract it there if it is urgent.
I expect it to be fixed with upcoming server releases.