Issue #5124: Temporary pyshell rename to avoid case-folding collision in merge.
1 file changed