Project

General

Profile

« Previous | Next » 

Revision 8a3919e2

ID8a3919e2f457d82dbbe9c2817303b0dc54d7e315
Parent 61841dd1, bc7fb002
Child bbe757ed

Added by cstimming about 1 year ago

Merge branch 'branch-5.7' except for 25d93135.

This introduces only bc7fb002 into master.
Note: The commit 25d93135 appeared in master before but has been
reverted, so I intentionally left it out in this merge. Should
it have been in master? If yes, please cherry-pick it again.