885 _X_ Yes ___ No CLOSE 885, covered by 339 1384 ___ Yes _X_ No Echo Neil's complaints 1609 _X_ Yes ___ No 1715 _X_ Yes ___ No 1723 _X_ Yes ___ No 1851 _X_ Yes ___ No Prefer DR's suggestion (local parameters -> localparams), but I vote yes either way. 2021 _X_ Yes ___ No 2055 ___ Yes ___ No _X_ abstain No idea if the backwards compatibility issue is a big deal. 2113 _X_ Yes ___ No 2137 _X_ Yes ___ No -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Oct 23 07:32:53 2007
This archive was generated by hypermail 2.1.8 : Tue Oct 23 2007 - 07:33:00 PDT