Merge pull request #1893 from nicolasfella/override
authorDominique Fuchs <32204802+DominiqueFuchs@users.noreply.github.com>
Sat, 25 Apr 2020 10:18:56 +0000 (12:18 +0200)
committerGitHub <noreply@github.com>
Sat, 25 Apr 2020 10:18:56 +0000 (12:18 +0200)
commit6df75328fdb91417da844a41396aa72832ff2b5b
tree6fbcf0720795c0c2ff676ad8356c7fae877134c5
parent79eface43256bb74ec04eef6d695807a11be1133
parentb4d1a63c149907e6d7eb6e2239cb39e61154ba57
Merge pull request #1893 from nicolasfella/override

override specifier missing