Merge pull request #6440 from annando/notices
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Sun, 13 Jan 2019 18:30:56 +0000 (19:30 +0100)
committerGitHub <noreply@github.com>
Sun, 13 Jan 2019 18:30:56 +0000 (19:30 +0100)
commit9aadb5276287c4e2ef80224159b48dbbf7d88da5
treeac393ac4a3aa4faefba6c9903f90fc38a62297e0
parent0760b41facd7ce643f3aad6b37a932a3855bc6b3
parentc1dec50248970ef9b9bca29a49b347c8076b5dc6
Merge pull request #6440 from annando/notices

Avoiding some notices