Revision c83416ae39371f6a5f9646451a8fa705f075c926

Committed on 31/08/2009 8:57 am by Sebastian Bergmann <[email protected]> [GitHub Diff]

- Fix issue #14451.