freenode/#slime - IRC Chatlog Search Friday, 20th of September 2019, 18:03:09 UTC 18:51:13 drmeister luis: I followed your suggestion and pushed the changes to my fork. I think you should see them now in the pull request. 18:51:15 drmeister Thank you.