Merge pull request #11451 from pgavlin/gh11447
authorPat Gavlin <pgavlin@gmail.com>
Mon, 8 May 2017 22:56:54 +0000 (15:56 -0700)
committerGitHub <noreply@github.com>
Mon, 8 May 2017 22:56:54 +0000 (15:56 -0700)
commit2299624395524e97baec864683c5fc61a963179a
treebe071f798f52858d3b2c7443350c00a4b14c11fa
parente623a2b5894c997fcefe2dcad76e554821912c66
parent673242edd0a0939e0e4cd22d6a217dbd9295ba00
Merge pull request #11451 from pgavlin/gh11447

Fix issue #11447.