merge with crew-stable

I pushed the 2cf6b93eb5da to crew before realizing that it would also
be suitable for crew-stable, hence the double changeset.
This commit is contained in:
Martin Geisler 2009-04-29 18:36:55 +02:00
commit 2a3e72db0b

Diff Content Not Available