Closed thedrow closed 3 years ago
Something went wrong despite trying multiple times, sorry about that. Please comment this pull request with "Retry DeepCode" to manually retry, or contact us so that a human can look into the issue.
This pull request introduces 1 alert when merging d7b447c2f4c2c82f983fb63c87369cdeb9184b01 into c13b4baf3fb3137888cbb4cd66fe989d0899feed - view on LGTM.com
new alerts:
Fixes #8.