Merge pull request #4118 from petertiedemann/fix-bug-48516
authorJoão Matos <joao@tritao.eu>
Tue, 20 Dec 2016 20:38:03 +0000 (20:38 +0000)
committerGitHub <noreply@github.com>
Tue, 20 Dec 2016 20:38:03 +0000 (20:38 +0000)
commit66d4425f049880bca9241e0aacf7482ecfc248e0
treec60c39bdef61601f5f0fbffe72ffca6a97917f05
parent5f885d53e791727d2f4ab549dd4730ff8f1cd8ca
parenta3543c4ac2966d1fada9fcb3d572dfdfe8cbca88
Merge pull request #4118 from petertiedemann/fix-bug-48516

Fix bug 48516