patch 7.4.1041
Problem: Various small things. Solution: Add file to list of distributed files. Adjust README. Fix typo.
This commit is contained in:
Problem: Various small things. Solution: Add file to list of distributed files. Adjust README. Fix typo.