Revision c83416ae39371f6a5f9646451a8fa705f075c926

Committed on 31/08/2009 8:57 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

- Fix issue #14451.