#11901: post-commit review fixes per Georg Brandl
1 file changed