Skip to content

Conversation

@Pluto1010
Copy link
Contributor

No description provided.

@mre
Copy link
Member

mre commented Jan 23, 2016

Thanks! 🤘

mre added a commit that referenced this pull request Jan 23, 2016
@mre mre merged commit b5d779a into analysis-tools-dev:master Jan 23, 2016
M3t0r added a commit to M3t0r/static-analysis that referenced this pull request Aug 20, 2020
This tool was listed twice. The item I'm deleting right now was actually the original one, added in analysis-tools-dev#10. The one that is still left looked more accurate to me, even though it got added with a few other tools in analysis-tools-dev#149.
@M3t0r M3t0r mentioned this pull request Aug 20, 2020
mre pushed a commit that referenced this pull request Aug 20, 2020
This tool was listed twice. The item I'm deleting right now was actually the original one, added in #10. The one that is still left looked more accurate to me, even though it got added with a few other tools in #149.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants