Fix dead link - Githubissues

endorlabs / MIRAI

MIT License

41 stars 7 forks source link

Fix dead link #5

Closed kevin-valerio closed 18 hours ago

kevin-valerio commented 2 days ago

Description

Fixing dead link

Fixes # (issue)

Type of change

[x] README
[ ] Bug fix (non-breaking change which fixes an issue)
[ ] New feature (non-breaking change which adds functionality)
[ ] Breaking change (fix or feature that would cause existing functionality to not work as expected)
[ ] API change with a documentation update
[ ] Additional test coverage
[ ] Code cleanup or just keeping up with the latest Rustc nightly

How Has This Been Tested?

Checklist:

[ ] Fork the repo and create your branch from main.
[ ] If you've added code that should be tested, add tests.
[ ] If you've changed APIs, update the documentation.
[ ] Ensure the test suite passes.
[ ] Make sure your code lints.
[ ] If you haven't already, complete your CLA here: https://code.facebook.com/cla

hermanventer commented 18 hours ago

Thanks for noticing. Since the RFP is no longer open, it seems better to me to just delete the link. See PR #6.