Closed EvanHahn closed 4 months ago
This might be a controversial change. Feel free to close!
We should fix this, but I think it's disruptive enough that we should disable it for now. See #540 for a task to properly fix this.
Fixed in eb7d1f8feb2866fd4707bd58cba6ab0247620eaa.
This might be a controversial change. Feel free to close!
We should fix this, but I think it's disruptive enough that we should disable it for now. See #540 for a task to properly fix this.