On Thu, May 5, 2016, at 05:34 PM, Efraim Flashner wrote:
> I'm totally not a lawyer, but I believe officially and legally any
> change you make is yours and needs/should have a copyright line.
> On the other side, I believe that if you make a change and don't
> attach your name to it then it's as if you've tossed it into the file
> with all the other commits there and it can be assumed to follow the
> rest of the file/project in terms of copyright.

Okay, well I'll just go by that policy then unless someone else
disagrees. Here's an updated patch with a copyright line.
-- 
Alex Griffin