[Gnu-arch-users] Re: [GNU-arch-dev] Re: GNU Arch status update

[Mikhael Goikhman]

On 07 Feb 2005 08:43:02 -0800, Tom Lord wrote:
> 
>    From: Mikhael Goikhman <address@hidden>
> 
>    I agree with your other suggestions. I should add that changing
>    "tla --version" as mentioned in another place is very important too,
>    to easier detect tla 1.4 that introduces several interface changes.
> 
> BTW, FYI: I don't think bug czar's should go "fishing" to extract bugs
> from off-hand comments in threads like this.

Agreed. The bug czars were not supposed to extract this specific request
from my reminder about it on this thread, but from my original
"Re: tla-1.4pre1 now available" reply posted two days ago.

Should I repost it in a separate "[Bug]" thread, or in some other form?

Regards,
Mikhael.