Hello,

if there is no other opinion, I am considering to create git branch 5.2 at the beginning of next week (likely on Monday evening), to be used for 5.2.x release series.

From that moment, the master branch can get new features and the

appropriate bug fixes have to be backported to branch 5.2 as well.

With this step, the first release in 5.2.x series, respectively v5.2.0, should be out in about 2-3 weeks.

Cheers, Daniel