Edits so that make
works; also some style changes
#837
The logs for this run have expired and are no longer available.
Loading
make
works; also some style changes
#837