Skip to content

Master-to-next merge#482

Closed
semmle-qlci wants to merge 89 commits into
nextfrom
qlucie/master
Closed

Master-to-next merge#482
semmle-qlci wants to merge 89 commits into
nextfrom
qlucie/master

Conversation

@semmle-qlci

Copy link
Copy Markdown
Contributor

Automatically created merge PR, pulling recent master changes into next.

Max Schaefer and others added 30 commits November 7, 2018 09:18
This is not so much because extractor output has changed (it hasn't, except for corner cases) but to disable trap caching so as to help us to flush out bugs.
@semmle-qlci semmle-qlci requested review from a team as code owners November 16, 2018 15:58
pavgust
pavgust previously approved these changes Nov 16, 2018
@pavgust

pavgust commented Nov 19, 2018

Copy link
Copy Markdown
Contributor

Closing in favour of #488.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

9 participants