Bug#254598: Name of the Debian x86-64/AMD64 port
On Thu, Jun 17, 2004 at 07:49:22AM -0400, Stephen Frost wrote:
> I don't see this as a technical issue and I don't believe the tech
> committee has any jurisdiction over it.
The technical committee can be brought in on non-technical issues when
asked to resolve them.
> There's probably good reason that in the past and in general the porters
> are the ones who pick the arch name.
I'm not sure how you're going to go forward with your "refuse to
cooperate" idea if the technical committee happens to decide that
you're right. But I'll let you worry about that one.