On Fri, Jul 21, 2017 at 01:37:19PM +0100, Alex L wrote: > 5.0 actually branched before the revert. However, the revert has been > already merged into the 5.0 branch on the same day afterwards (r308457). OK, thanks. Will move forward then :) Joerg