These are chat archives for evhub/coconut

24th
Jul 2018
Evan Hubinger
@evhub
Jul 24 2018 00:47
@dogwynn Ah, I see the problem. Yeah, this definitely needs a bug.
If you could file a bug report for this that would be great.