Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #3096 from hirooih/Tmain-fix-fails-on-make-distcheck
Tmain: fix fails on make distcheck (fix for #3093)
- Loading branch information