On Sun, Mar 1, 2009 at 7:49 PM, David Gerard dgerard@gmail.com wrote:
Is that the actual requirement for it to happen? (Are you stating this authoritatively, or as a hypothesis? I'm looking for the authoritative answer.)
The developers do not normally do configuration changes without a bug (even trivial ones, which this one certainly isn't...). They're used to document the request, requester, to make sure that the change was authorized by the community, to give a clear "to-do list"... etc. I don't state this "authoritatively", but I would be surprised if they did something without a bug.