Revision f36180222239c7984e6f545750537b20e99c620e

Committed on 01/09/2009 1:26 am by Sebastian Bergmann <[email protected]> [GitHub Diff]

- Fix issue #15184.