Re: "dev" or "development"? (Newsgroup Renaming)

[Gervase Markham]

> mozilla.development.apps.browser

mozilla.development.tech.checkins.crypto
mozilla.development.platforms.small-devices

?

That said, if there's a majority who want "development", I'll go with it -
but the last time this came up, people seemed happy with "dev".

Gerv