bpo-40204: Fix duplicated productionlist names in the doc#21900

vstinner merged 1 commit intopython:masterpython/cpython:masterfrom

vstinner:sphinx3_productionlistCopy head branch name to clipboard