Device name in notification

Device name in notification

@Vincent Raaijmakers

I’m confused… I read the manual (!) in the hope to find a way to get the device name in my push notification. Why would one send a notification containing the device id?
I really need the name, how to get the name instead of the id?