Skip to content

Conversation

jbj
Copy link
Contributor

@jbj jbj commented Aug 25, 2019

This change note describes the changes in #1659.

This change note describes the changes in github#1659.
@jbj jbj added C++ Priority PR that should be reviewed and merged as a matter of priority. labels Aug 25, 2019
@jbj jbj added this to the 1.22 milestone Aug 25, 2019
@jbj jbj requested review from felicitymay and ian-semmle August 25, 2019 13:18
@jbj
Copy link
Contributor Author

jbj commented Aug 25, 2019

This should not be merged if we decide to merge internal PR 33831 instead.

@jbj
Copy link
Contributor Author

jbj commented Aug 27, 2019

This change note was out of date. An updated one was merged to the internal repo.

@jbj jbj closed this Aug 27, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C++ Priority PR that should be reviewed and merged as a matter of priority.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant