Closed apaleslimghost closed 5 years ago
@quarterto I haven't forgotten this PR, just want to discuss it with you again face-to-face to make sure I understand it correctly :nerd_face:
yeah nori makes this thoroughly redundant but no harm merging now
nori
@quarterto I haven't forgotten this PR, just want to discuss it with you again face-to-face to make sure I understand it correctly :nerd_face: