@ch11ng
ch11ng Make `exwm-manage-ping-timeout' a user option
ad90af1 Feb 25, 2018
Make `exwm-manage-ping-timeout' a user option 
* exwm-manage.el (exwm-manage-ping-timeout): Now a user option.
ad90af1