this indeed seems to be fixed as of 4.19.0-1-amd64
- Bug#916510: duplicate Patrik Kluba
- Bug#916510: duplicate Buck Huppmann
- Bug#916510: linux-image-4.18.0-3-amd64... Buck Huppmann
- Bug#916510: duplicate Ben Hutchings
- Processed: Re: Bug#916510: duplicate Debian Bug Tracking System
