Revision f36180222239c7984e6f545750537b20e99c620e

Committed on 01/09/2009 1:26 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

- Fix issue #15184.