Merge pull request #4104 from abma/master
authorDavid Fort <rdp.effort@gmail.com>
Tue, 29 Aug 2017 09:06:13 +0000 (11:06 +0200)
committerGitHub <noreply@github.com>
Tue, 29 Aug 2017 09:06:13 +0000 (11:06 +0200)
commit5258a980f50f3c3536e4482a158554d7514951e7
treecdaee54a51502b3a8a4794a4f930564b8c3f7178
parent6a83a1e7fab7ce02996602e0f5937274939b36cd
parent165de9128778e976f085d5c4574396c26af73d83
Merge pull request #4104 from abma/master

Revert "Possible fix for #4081 and #2707 (#4087)" (Part of #4096)