Harald Husum
Harald Husum
I realize that I was wrong when saying the page is not being updated. The updates are happening in the `mathlib` repo itself, and the file in this repo is...
I appreciate your clear explanation of the current limitations of ruff. Also appreciate the advice on `@typing.override`. Thanks! I understand that there is a significant backlog of features hinging on...
> We now respect `NoReturn` annotations in the next release, but it will only work for functions defined in the same file (so I'm not closing this). Perhaps worth labling...
Since python 2 has reached EOL now, I guess maintaining support for it should not be part of the consideration any more?
That worked for me. But shouldn't this be an editor setting, rather than binding it to locale?
bors r+