Is it OK if I add Rini's changes and create a pull request for it? The issue was fixed by him, but not committed and that is a pity.
Is it OK if I add Rini's changes and create a pull request for it? The issue was fixed by him, but not committed and that is a pity.