Changeset 76447

Timestamp:

Jan 13, 2012, 12:20:39 PM (11 years ago)

Author:

Sebastian Redl

Message:

Merge [72000],[72001],[72003], [74691], [75587], [75589], [75590], and [75593]
from trunk.
Fixes bug 4840.
Fixes bug 5259.
Fixes bug 5281, I think.
Fixes bug 5944.
Fixes bug 5757.
Fixes bug 5710.
Fixes bug 5307, I think.

(No files)