freenode/#stumpwm - IRC Chatlog Search Saturday, 17th of August 2019, 13:07:20 UTC 19:06:16 notarock Anything I should know before I open a pull request on stumpwm-contrib? :D 19:59:17 PuercoPop notarock: Just that it may take a while before it gets merged or feedback