Repository navigation

use a Protocol for str.format_map() - #4122

Merged

srittau merged 1 commit into

python:masterfrom

JelleZijlstra:fix3824

May 28, 2020

Merged

use a Protocol for str.format_map()#4122
srittau merged 1 commit into
python:masterfrom
JelleZijlstra:fix3824

Commits on May 28, 2020
- use a Protocol for str.format_map()
  JelleZijlstra
  committed
  0cdfca1