Merge pull request #3986 from akallabeth/debug_fix
authorDavid Fort <rdp.effort@gmail.com>
Wed, 31 May 2017 10:02:31 +0000 (12:02 +0200)
committerGitHub <noreply@github.com>
Wed, 31 May 2017 10:02:31 +0000 (12:02 +0200)
Fixed missing external declaration (#3982)


Trivial merge