Merge pull request #4830 from hvr/pr/issue4808
commitbb5e43f2a00fdbc59c9141bfebeaccd5557e7e8a
authorOleg Grenrus <oleg.grenrus@iki.fi>
Thu, 26 Oct 2017 09:49:01 +0000 (26 12:49 +0300)
committerGitHub <noreply@github.com>
Thu, 26 Oct 2017 09:49:01 +0000 (26 12:49 +0300)
tree52930c161f167e34547f9c2b410eca5ac1ba0aba
parentd7989bcb23129ea81ba912bb0c31871a07d7000b
parent7533cf57e156de15b530854672695a59bb4b14b6
Merge pull request #4830 from hvr/pr/issue4808

RFC: Potential fix for #4808