On Jan 26, 2011, at 11:19 AM, Jay Foad wrote: > It occurred to me that the logic in User::operator delete() is still > unnecessarily complicated. Simplified thus -- the comments should > explain what's going on. > > Tested with "make check". OK to commit? LGTM!