florence
2018-3-8 01:17:01

@florence has joined the channel


robby
2018-3-8 01:17:02

@robby has joined the channel


chrdimo
2018-3-8 01:17:02

@chrdimo has joined the channel


dan
2018-3-8 01:17:02

@dan has joined the channel


shu--hung
2018-3-8 01:17:02

@shu—hung has joined the channel


florence
2018-3-8 01:17:27

@chrdimo The change to cover we talked about is here: https://github.com/florence/cover/compare/8b561cca375e69173f9267ccbdea4ff6c117adf8...master


florence
2018-3-8 01:17:42

(specifically the changes to cover/private/format-utils.rkt)


chrdimo
2018-3-8 05:03:38

Thanks!