Backport of Guido's review of my patch.
1 file changed