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

Python: Ignore dead objects from library trap files.

32dabce
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs