Skip to content

Python: Ignore dead entities from library trap files.#1042

Merged
taus-semmle merged 1 commit into
github:rc/1.20from
markshannon:python-ignore-dead-objects
Mar 6, 2019
Merged

Python: Ignore dead entities from library trap files.#1042
taus-semmle merged 1 commit into
github:rc/1.20from
markshannon:python-ignore-dead-objects

Commits

Commits on Mar 5, 2019