null-merge reversion of #1159051 patch from 3.3

This commit is contained in:
Georg Brandl 2013-05-12 12:08:30 +02:00
commit 3c6ab2208b

Diff content is not available