Question regarding power button of Dell XPS13

[Paul Menzel]

Dear Linus, dear Len,


I heard that you both have a Dell XPS13. I got the ârevisionâ 9360, and 
installed Debian Stretch/testing on it with Linux 4.8.15 and Linux 4.9-rc8.

When pressing the power button the GNOME dialog, asking what to do 
(restart, power off, â) doesnât appear.

Neither `xev` nor `acpi_listen` show something, so I submitted ticket 
#190871 [1], and Lv already looked at it.

Just to make sure, that it is really a Linux problem, does the power 
button work for you?


Kind regards,

Paul


[1] https://bugzilla.kernel.org/show_bug.cgi?id=190871
[2] 
http://changelogs.ubuntu.com/changelogs/pool/main/l/linux/linux_4.4.0-57.78/changelog