Skip to content

Conversation

@markshannon
Copy link
Contributor

@markshannon markshannon commented Jun 17, 2019

No changes to behaviour, just speeds things up a bit.

@markshannon markshannon added this to the 1.21.0 milestone Jun 17, 2019
@taus-semmle taus-semmle merged commit 7ea4b6a into github:rc/1.21 Jun 19, 2019
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.

2 participants