@Michael, I committed your fix only to the master branch. Thanks.
The patch does not apply against the stable (5.13) branch.
@Michael,
I committed your fix only to the master branch. Thanks.
The patch does not apply against the stable (5.13) branch.