Yes, users and dev are two different aliases - no subset of another.
Marina Vatkina wrote:
> They are different, and you need to subscribe to each one
> separately (and then delete the 2nd email :().
>
> How does announce_at_GF alias work? Do I need to subscribe to
> it as well or does it automatically include everybody with
> a login? If it does, why don't we use it? If it doesn't, can
> we fix this (so that it can be used appropriately)?
You need to subscribe to each one. No automatic subscription.
announce_at_glassfish.dev hasn't been used much due to low subscription.
users and dev have been used for most announcements. You're welcome to
start using it though.
hth,
Amy
>
> thanks,
> -marina
>
> Eduardo Pelegri-Llopart wrote On 08/21/06 12:26,:
>
>>You should not trust that USERS includes DEV. Or at least, I don't.
>>
>>Lloyd L Chambers wrote:
>>
>>
>>>Vince,
>>>
>>>Thanks, but the mailing list descriptions don't explicitly say whether
>>>one includes another. Perhaps none of them do, but that should be stated.
>>>
>>>I guess a simple "test" message would establish it.
>>>
>>>Lloyd
>>>
>>>On Aug 21, 2006, at 10:59 AM, vince kraemer wrote:
>>>
>>>
>>>
>>>>Lloyd L Chambers wrote:
>>>>
>>>>
>>>>
>>>>>What's the difference between "users" and "dev" @
>>>>>glassfish.dev.java.net?
>>>>>
>>>>>Is "users" a superset that includes all "dev" (developers) and users
>>>>>(those who actually run the server for real work)?
>>>>
>>>>
>>>>Does this answer your question?
>>>>
>>>>https://glassfish.dev.java.net/servlets/ProjectMailingListList
>>>>
>>>>vbk
>>>>
>>>>
>>>>
>>>>>Thanks.
>>>>>
>>>>
>