cc @skirpichev @picnixz

(Please edit the commit message when merging so that we’re not tagged forever by pushes in clones! thanks 🙂)

(Please edit the commit message when merging so that we’re not tagged forever by pushes in clones! thanks 🙂)

Éric, all of my commits up to that point had the commit message "Commit"? I tagged you in the PR description, I don't think that should be a burden for longer than this PR is open? There is an "unsubscribe" button in the right sidebar.

all of my commits up to that point had the commit message "Commit"? I tagged you in the PR description

It seems core devs sometimes use PR descriptions for commit messages. So, it's rather a reminder for one, who will merge this pr.

Merged, thank you.

Oh, importing decimal does now emit a DeprecationWarning:

$ ./python -Werror -c "import decimal"
Traceback (most recent call last):
  File "<string>", line 1, in <module>
    import decimal
  File "/home/vstinner/python/main/Lib/decimal.py", line 103, in <module>
    from _decimal import __version__  # noqa: F401
    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
DeprecationWarning: '__version__' is deprecated and slated for removal in Python 3.20

Oh, ignore my previous comment, I forgot to run make when testing an old PR :-)