Revision d72063c070d33d0ca15dee8db14d0bbc92e27cd0

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

- Fix #15400.