Tue, 21 Oct 2008 09:33:00 +0000 Florian Pose merge -c1534 branches/stable-1.4: Fixed EXTRA_DIST.