Merge pull request #710 from annando/tiny-notice
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Sun, 19 Aug 2018 10:14:59 +0000 (12:14 +0200)
committerGitHub <noreply@github.com>
Sun, 19 Aug 2018 10:14:59 +0000 (12:14 +0200)
commit2c6b89804b2de24b66ca7a784211d3e4ad0559d9
tree33735802a615d42a695b3c0e99481914d4f55722
parent25ff4e9af23ac13e5424556f2b00f714b68e904f
parent9ba24d0de95e5c44f3f19b21d3d4b0f9e95f500c
Merge pull request #710 from annando/tiny-notice

One tiny little notice got hide deep in the code ...