[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gnu-arch-users] Re: [GNU-arch-dev] Re: GNU Arch status update
From: |
Mikhael Goikhman |
Subject: |
[Gnu-arch-users] Re: [GNU-arch-dev] Re: GNU Arch status update |
Date: |
Mon, 7 Feb 2005 18:16:31 +0000 |
User-agent: |
Mutt/1.4.2.1i |
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.
- Re: [Gnu-arch-users] GNU Arch status update, (continued)
- Re: [Gnu-arch-users] GNU Arch status update, Tom Lord, 2005/02/06
- Re: [Gnu-arch-users] GNU Arch status update, Ben Finney, 2005/02/06
- Re: [Gnu-arch-users] GNU Arch status update, Robert Collins, 2005/02/06
- Re: [Gnu-arch-users] GNU Arch status update, Tom Lord, 2005/02/06
- Re: [Gnu-arch-users] GNU Arch status update, Ben Finney, 2005/02/08
- Re: [Gnu-arch-users] GNU Arch status update, John A Meinel, 2005/02/09
- Re: [Gnu-arch-users] GNU Arch status update, Tom Lord, 2005/02/09
Re: [Gnu-arch-users] GNU Arch status update, Miles Bader, 2005/02/06
Message not available
Message not available[Gnu-arch-users] Re: [GNU-arch-dev] Re: Re: GNU Arch status update, Mikhael Goikhman, 2005/02/07
[Gnu-arch-users] Re: GNU Arch status update, Miles Bader, 2005/02/08
[Gnu-arch-users] Re: [GNU-arch-dev] Re: GNU Arch status update, Mikhael Goikhman, 2005/02/08
Re: [Gnu-arch-users] Re: [GNU-arch-dev] Re: GNU Arch status update, mlh, 2005/02/08
Re: [Gnu-arch-users] Re: [GNU-arch-dev] Re: GNU Arch status update, conrad, 2005/02/07
Message not available[Gnu-arch-users] [BUG] Rethinking add, delete and move commands, Mikhael Goikhman, 2005/02/07
[Gnu-arch-users] Re: [GNU-arch-dev] [BUG] Rethinking add, delete and move commands, Tom Lord, 2005/02/07
[Gnu-arch-users] Re: [GNU-arch-dev] [BUG] Rethinking add, delete and move commands, Miles Bader, 2005/02/07