Merge branch 'ml/filter-branch-portability-fix'
authorJunio C Hamano <gitster@pobox.com>
Wed, 21 Mar 2018 18:30:14 +0000 (11:30 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 21 Mar 2018 18:30:14 +0000 (11:30 -0700)
Shell script portability fix.

* ml/filter-branch-portability-fix:
filter-branch: use printf instead of echo -e

Trivial merge