Closed amomchilov closed 2 years ago
Has anything changed here since the prior commit? Github seems to think not and doing a manual review also seems to indicate that (but my memory is certainly fallible), so wanted to explicitly ask in case I'm overlooking something.
Ah, I forgot I had a PR open for this. I was just rebasing all my branches.
There's no change here, I'm still exploring this problem area, though.
@amomchilov I think this PR can be abandoned?
Fixes #17