Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
doc: add eljefedelrodeodeljefe to collaborators
PR-URL: #6389 Reviewed-By: Сковорода Никита Андреевич <chalkerx@gmail.com> Reviewed-By: Evan Lucas <evanlucas@me.com> Reviewed-By: Santiago Gimeno <santiago.gimeno@gmail.com>
- Loading branch information
be5d699
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We need to make sure we are including the entire PR-URL, not just the number.