To be merged to master after the release of R14.0.6
Commit 3c109e3d10 is for bug 925.
Changed milestone to R14.0.7 and cherry picked into the R14.0.x branch (with some manual work).
No due date set.
This pull request currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?