Dummy-merge configure change from 3.2 that is already in default.

This commit is contained in:
Georg Brandl 2011-07-03 09:25:32 +02:00
commit 21e4a0a1ba

Diff Content Not Available