Skip to content

Conversation

jf205
Copy link
Contributor

@jf205 jf205 commented Sep 10, 2019

No description provided.

markshannon and others added 30 commits September 10, 2019 15:57
…laced by new 'Value' API.

(cherry picked from commit 6edf9ef)
…want to remove them eventually.

(cherry picked from commit 562f4ef)
…a reference to the taint-tracking library from the library overview page.

(cherry picked from commit dafed6b)
(cherry picked from commit ec9ca68)
(cherry picked from commit 387147e)
(cherry picked from commit 0b31ca4)
(cherry picked from commit 8c88cbb)
(cherry picked from commit acb3e74)
(cherry picked from commit f0e2a2e)
Co-Authored-By: Luke Cartey <5377966+lukecartey@users.noreply.github.com>
(cherry picked from commit 64c4548)
(cherry picked from commit 49955c5)
(cherry picked from commit 16aaa95)
(cherry picked from commit 99614d9)
(cherry picked from commit 1a7c79b)
Co-Authored-By: shati-semmle <42641846+shati-semmle@users.noreply.github.com>
(cherry picked from commit 4ec828a)
Co-Authored-By: shati-semmle <42641846+shati-semmle@users.noreply.github.com>
(cherry picked from commit 1f67d71)
Co-Authored-By: shati-semmle <42641846+shati-semmle@users.noreply.github.com>
(cherry picked from commit ce2326c)
(cherry picked from commit 09a0b56)
(cherry picked from commit f93359a)
(cherry picked from commit ecc2449)
(cherry picked from commit f78ce14)
(cherry picked from commit 4d98b4c)
(cherry picked from commit 9437c2d)
james and others added 5 commits September 10, 2019 16:04
(cherry picked from commit 54342a6)
(cherry picked from commit acca48b)
(cherry picked from commit f5de1dc)
@jf205 jf205 requested a review from felicitymay as a code owner September 10, 2019 15:08
@jf205 jf205 requested a review from shati-patel September 10, 2019 15:30
@jf205 jf205 added the depends on internal PR This PR should only be merged in sync with an internal Semmle PR label Sep 10, 2019
Copy link
Contributor

@shati-patel shati-patel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Given that these changes have already been reviewed against master, this all seems fine to me.

@jf205 jf205 removed the depends on internal PR This PR should only be merged in sync with an internal Semmle PR label Sep 10, 2019
@shati-patel shati-patel merged commit 6924a88 into github:rc/1.22 Sep 11, 2019
@jf205 jf205 deleted the recent-changes-122 branch October 21, 2019 09:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants