bug 896867 - debian/ubuntu use minimal shell w/o pushd/popd built-ins
Merge pull request #1356 from rhelmer/bug896867-pushd-not-found

bug 896867 - debian/ubuntu use minimal shell w/o pushd/popd built-ins