patchlint 1.3.1

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