Merge pull request #8241 from annando/notice
authorPhilipp <admin+Github@philipp.info>
Wed, 5 Feb 2020 21:41:54 +0000 (22:41 +0100)
committerGitHub <noreply@github.com>
Wed, 5 Feb 2020 21:41:54 +0000 (22:41 +0100)
commitb6764468e075d281e1514598be4081acea11f8db
tree43826d4cdf5888e30ca0cdbb8d55ddb0e78eb6a4
parent1595cf413d9250cf65f5276d03ed7bc48aea0ec5
parent5bbe02dcaeb7e006cca80523750aea767ecc594e
Merge pull request #8241 from annando/notice

Remove a notice about a missing variable