PEP 800: Rename to "disjoint base"#4540

JelleZijlstra wants to merge 3 commits intopython:mainpython/peps:mainfrom

JelleZijlstra:pep800-disjointJelleZijlstra/peps:pep800-disjointCopy head branch name to clipboard