patchlint 1.2.9

A small command line utility.
See doc/ for usage notes.
