Open alvinlim540 opened 4 years ago
merging request
merge OR pull request (different terms used by different companies. E.g. Github uses PR, Gitlab uses MR), not merging request.
Also, the first message should only describe what is this PR about, and nothing else.
Also, it's not necessary to tag reviewers since you can request for reviewers at the top right hand corner of this page.
Have reverted the merge pull request. Awaiting for the approval of this current merging request. @ahyong92 @Zhiyuan-Amos
…/revert-12-modification-alvin"
This reverts commit 36f6676528a7b04c762940ad210f6d484b41c933, reversing changes made to 72db574a271ec033b30f584e27f609e0215ed5e9.