Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: PATCH: cleanup

X-seq: zsh-workers 8666
From: Adam Spiers <adam@xxxxxxxxxxxxxxxxxxxxxxx>
To: zsh-workers@xxxxxxxxxxxxxx
Subject: Re: PATCH: cleanup
Date: Thu, 18 Nov 1999 12:09:04 +0000
In-reply-to: <199911180952.KAA04319@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Mail-followup-to: zsh-workers@xxxxxxxxxxxxxx
Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm
References: <199911180952.KAA04319@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Reply-to: Adam Spiers <adam@xxxxxxxxxx>

Sven Wischnowsky (wischnow@xxxxxxxxxxxxxxxxxxxxxxx) wrote:
> The question is: is now the right time for such changes or should we
> wait until we all have gotten used to the styles stuff?

I vote for doing it now.  There are probably more people who haven't
changed over yet than have, and hence would benefit from not having to
make two lots of changes in a short space of time.

References:
- PATCH: cleanup
  - From: Sven Wischnowsky

Messages sorted by: Reverse Date, Date, Thread, Author