GNU sed extension feature (using “\n” in insert string) is used, but it should not be used for portability.
Very good work!
Patch is clean and functional, branch name is very well, commit log is excellent. It is a pleasure to see such a job.
Please make one small modification – add a line like this to the commit log: “This resolves bug 2986.” So the reference to the corresponding bug report will also be in the changelog. To change an existing commit, use:
git commit --amend
git push -f origin HEAD
changed and pushed
No due date set.
This pull request currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?