From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 18938 invoked from network); 18 Nov 1999 14:38:32 -0000 Received: from sunsite.auc.dk (130.225.51.30) by ns1.primenet.com.au with SMTP; 18 Nov 1999 14:38:32 -0000 Received: (qmail 1127 invoked by alias); 18 Nov 1999 14:32:30 -0000 Mailing-List: contact zsh-workers-help@sunsite.auc.dk; run by ezmlm Precedence: bulk X-No-Archive: yes X-Seq: 8666 Received: (qmail 458 invoked from network); 18 Nov 1999 12:09:26 -0000 Date: Thu, 18 Nov 1999 12:09:04 +0000 From: Adam Spiers To: zsh-workers@sunsite.auc.dk Subject: Re: PATCH: cleanup Message-ID: <19991118120904.B19943@thelonious.new.ox.ac.uk> Reply-To: Adam Spiers Mail-Followup-To: zsh-workers@sunsite.auc.dk References: <199911180952.KAA04319@beta.informatik.hu-berlin.de> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0pre3i In-Reply-To: <199911180952.KAA04319@beta.informatik.hu-berlin.de> X-URL: http://www.new.ox.ac.uk/~adam/ X-OS: Linux 2.2.12 i686 Sven Wischnowsky (wischnow@informatik.hu-berlin.de) 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.