Added MACHINES to EXTRA_DIST so that it gets put in the distribution.
[mmh] / docs / pending-release-notes
1 Things to add to the release notes for the next full release:
2