tags 354 patch quit Jeff Clough writes: > Updated patch at the end of this message. Looks like this patch was forgotten. It still applies cleanly apart from the NEWS and ChangeLog changes, so I'll push to master in a week or so if there are no objections. Reformatted with git format-patch (I made a few whitespace changes to the patch as well).