Closed Cameron-Micka closed 1 year ago
Quick fix to compilation issue.
As a reviewer, it is possible to check out this change locally by using the following commands (substituting {PR_ID} with the ID of this pull request): git fetch origin pull/{PR_ID}/head:name_of_local_branch git checkout name_of_local_branch
As a reviewer, it is possible to check out this change locally by using the following commands (substituting {PR_ID} with the ID of this pull request):
git fetch origin pull/{PR_ID}/head:name_of_local_branch
git checkout name_of_local_branch
Overview
Quick fix to compilation issue.
Verification