On 02/05/07, Ken Arromdee arromdee@rahul.net wrote:
True, so I was generalizing a bit hastily. But I haven't seen *any* evidence that this is an office action. Nothing on the office page, deletion log not saying "delete per WP:OFFICE", no posts by anyone on this mailing list saying "we deleted it as an office action", nothing at all. "A bunch of admins got together and decided to delete it" isn't an office action.
I'd call it "obvious good sense", myself. Perhaps that's just me. I note most of the DRV comments are more or less "don't be stupid."
- d.