On Sat, 7 Nov 2015, Aaron Ecay wrote:

> Hi Chuck,
>
> The patch is fundamentally correct, please push it.  A couple minor
> comments:
>

Thanks for the comments. I've revised as suggested. The patch has been 
pushed as

   commit 3f6e71e62e558f4a1c4316c9ecf0519a905e87f3
   Author: Charles Berry <ccberry@ucsd.edu>
   Date:   Fri Nov 6 16:00:50 2015 -0800


>
> PS Git gave me some strange errors about trailing whitespace when trying
> to apply your patch, until I converted it from DOS to Unix line
> endings.  I’ve never seen git do that before – I think it usually copes
> very well with different line ending styles.  Does anyone know what to
> do in this scenario?  Manually changing the line endings of the patch
> file seems hackish.

Strange.

I produced the patch on Mac OS X 10.11.1 with the usual

 	git format-patch master -o <path>

command line using

 	git version 2.4.9 (Apple Git-60)

and sent it as an email attachment using alpine as the client.

Chuck