Dummy-merge configure change from 3.2 that is already in default.
authorGeorg Brandl <georg@python.org>
Sun, 3 Jul 2011 07:25:32 +0000 (09:25 +0200)
committerGeorg Brandl <georg@python.org>
Sun, 3 Jul 2011 07:25:32 +0000 (09:25 +0200)

Trivial merge