Changeset 80588

Timestamp:

Sep 18, 2012, 9:07:07 PM (10 years ago)

Author:

Gunter

Message:

merge [61880],[75560],[80267],[80268],[80269],[80270],[80399],[80403],[80483],[80485],[80507],[80563] into release branch

• fix #6511, fix #6514, fix #7296, fix #7297,

• see #4024

(No files)