> OK, change tab to 8 spaces, keep indent at 4 spaces, and keep open
> bracked on a separate line. Got it.
Just a couple of comments:
istm that an 8-5 vote should not be interpreted as a "consensus", at
least not until you get those 5 to agree that the proposed change is
acceptable.
Was "spaces instead of tabs" one of the voted-on options? That would
make the tab issue moot, and would result in consistant appearance not
matter what tab setting one is using.
- Thomas
--
Thomas Lockhart lockhart@alumni.caltech.edu
South Pasadena, California
