Merge pull request #1401 from rust-lang/all-contributors/add-mdmundo
docs: add mdmundo as a contributor for infra
This commit is contained in:
commit
75fbf7a8f3
@ -1867,6 +1867,15 @@
|
|||||||
"content"
|
"content"
|
||||||
]
|
]
|
||||||
},
|
},
|
||||||
|
{
|
||||||
|
"login": "mdmundo",
|
||||||
|
"name": "Edmundo Paulino",
|
||||||
|
"avatar_url": "https://avatars.githubusercontent.com/u/60408300?v=4",
|
||||||
|
"profile": "https://github.com/mdmundo",
|
||||||
|
"contributions": [
|
||||||
|
"infra"
|
||||||
|
]
|
||||||
|
},
|
||||||
{
|
{
|
||||||
"login": "eroullit",
|