A script to automatically check whether label numbers have changed
instructions for "make labelcheck" and errata numbers in CONTRIBUTING.md
more specific description of columns in the errata file
Merge pull request #371 from mikeshulman/labelcheck

A script to automatically check whether label numbers have changed