Closed hannesm closed 1 year ago
for fixing the other part of #143 (or the suggestion in it)
So, what is the opinion on this PR? We could:
What do you think @reynir? I'm fine with option 2 since it seems to solve the remaining issues.
I propose a307e58 (part of this PR), and think this can be merged and shouldn't exhibit strange behaviour.
for fixing the other part of #143 (or the suggestion in it)