Forwarded PRs: makedumpfile #2

Open
autogits-devel wants to merge 1 commits from PR_makedumpfile#4 into master