freenode/#slime - IRC Chatlog Search Friday, 20th of September 2019, 21:58:52 UTC 7:56:05 luis drmeister: I've squashed your pull request. How's your git-fu? Let me know if you have trouble with it. (Please don't push a merge commit. :-)