On 2018-3-16 22:39 , Ryan Schmidt wrote: > I would be happy if lint were changed to just check that patchfile names end with .diff or .patch. Would anyone object to that? I could've sworn we had this conversation years ago and this was the conclusion. :) So yes, please do make this change. - Josh