Re: [Gnu-arch-users] Re: tagline robustness

[Tom Lord]

    > From: Jonathan Walther <address@hidden>

    > The thought occurs, what if arch-id: tags behave the way Miles wants
    > them (ignoring whitespace, etc) and arch-tag: tags remain exactly the
    > same in their behavior?  Then people can migrate to arch-id: at their
    > leisure, and newbies reading the tutorial will only learn about arch-id:
    > at first.

Sorry if the discussion hasn't been clear but that's pretty much the
plan that emerged.

-t