Skip to content

Remove note about Optional still being necessary sometimes#9687

Merged
JelleZijlstra merged 1 commit intopython:mainfrom srittau:contribution-unionFeb 7, 2023