Merge pull request #3953 from hardening/kill_warnings
authorakallabeth <akallabeth@users.noreply.github.com>
Mon, 15 May 2017 09:54:57 +0000 (11:54 +0200)
committerGitHub <noreply@github.com>
Mon, 15 May 2017 09:54:57 +0000 (11:54 +0200)
commit452eb55a3c6b7b370ec3b43e4a0dc06ee8c2c8d3
tree0fec0e57feba61a314ab90a48d4ec08e84dbae73
parentb1df835085280bba1be7ba700277db60de587007
parent17a4e95a5b2441da873f79de03aaec571ec8d15c
Merge pull request #3953 from hardening/kill_warnings

Drop some annoying warning