Skip to content
This repository has been archived by the owner on Mar 29, 2023. It is now read-only.

Docs: Update docs to remove references to resolved issue #139 #197

Merged
merged 1 commit into from
May 19, 2020

Conversation

DanHatesNumbers
Copy link
Contributor

What does this PR change?

Why is it important?

  • Documentation accuracy

Checklist

  • Tests added/updated as appropriate
  • Documentation added/updated as appropriate

If this PR introduces a new tool:

  • Documentation on how to handle false positives added
  • Documentation on how to configure the tool added

@DanHatesNumbers DanHatesNumbers merged commit 7fd2103 into master May 19, 2020
@DanHatesNumbers DanHatesNumbers deleted the remove_obsolete_warnings_from_docs branch May 19, 2020 17:38
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant