Revision c905baad82bdcd358524cc806d3c1645496d8b34

Committed on 31/08/2009 10:19 pm by Sebastian Bergmann <[email protected]> [GitHub Diff]

- Leftover from r10848
.