freenode/#stumpwm - IRC Chatlog Search Friday, 9th of April 2021, 21:23:28 UTC 21:24:47 MichaelRaskin Should be defined, but what's the StumpWM version in question