Neat. Er, are the “User” and “Deleted by user” columns meant to be the same? Because it seems like they *are* the same but I’d have expected the former to contain the name of the user who *posted* the thing-that-got-deleted, not the name of the user who deleted it.
Oh, yeah. (actually come to think of it I may have noticed that bug, though “I’ll fix that bug and then announce it, and then never got around to fixing it.”)
Neat. Er, are the “User” and “Deleted by user” columns meant to be the same? Because it seems like they *are* the same but I’d have expected the former to contain the name of the user who *posted* the thing-that-got-deleted, not the name of the user who deleted it.
Oh, yeah. (actually come to think of it I may have noticed that bug, though “I’ll fix that bug and then announce it, and then never got around to fixing it.”)