Merge pull request #11684 from pgavlin/FixPushdBalance
authorPat Gavlin <pgavlin@gmail.com>
Wed, 17 May 2017 17:02:31 +0000 (10:02 -0700)
committerGitHub <noreply@github.com>
Wed, 17 May 2017 17:02:31 +0000 (10:02 -0700)
Remove a couple mistaken calls to popd.


Trivial merge