Commit b6aded059f68306181216d1a5abc03a47d5eb1c5
2015-09-10T07:18:08
ensure headers are sanitized before release When a public header is removed, we need to ensure it gets removed in the release distribution as well. Also, remove nonexistent *.he exclude.