Subject: Re: bug#15938: diff-mode mishandles diff-default-read-only

From: Glenn Morris <[email-masked]>
Date: Fri, 22 Nov 2013 21:57:03 -0500

Version: 24.4

Thanks; applied.

(BTW, we'd probably need a copyright assignment to accept anything more
than 2-3 lines more from you in future. So maybe think about starting
that process if you expect to contribute more.)