Revision d72063c070d33d0ca15dee8db14d0bbc92e27cd0

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

- Fix #15400.