On Wed, 2 May 2007, David Gerard wrote:
Er, no. Stuff does not have to be listed on WP:OFFICE
to have been an
office action;
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.