cadr
2017-5-22 19:06:49

@cadr has joined the channel


samth
2017-5-22 19:06:57

hi @cadr


samth
2017-5-22 21:21:38

@mflatt for minor changes to racket7, should I make a PR or just push?


mflatt
2017-5-22 21:23:38

You can just push