-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
> The plausible alternatives seem to be:
>
> 1. Leave it as-is.
I vote for this. It's not an ideal situation, but the names should
be changed at some point - better now than later, as it reduces the
lifetime of the "bad" names. Put a large warning (and a small apology)
in the release notes.
- --
Greg Sabino Mullane greg@turnstep.com
PGP Key: 0x14964AC8 200510062202
http://biglumber.com/x/web?pk=2529DF6AB8F79407E94445B4BC9B906714964AC8
-----BEGIN PGP SIGNATURE-----
iD8DBQFDRdenvJuQZxSWSsgRAniyAJ9hjJBYdGl1PttvZm1VrfR+vPnI1wCeMW/t
u8dv1J8fD4ayUUEFSkhPNrY=
=brzE
-----END PGP SIGNATURE-----