Skip to content

Conversation

@hvitved
Copy link
Contributor

@hvitved hvitved commented Mar 12, 2019

No description provided.

@hvitved hvitved added this to the 1.20 milestone Mar 12, 2019
@hvitved hvitved requested a review from a team as a code owner March 12, 2019 16:36
@hvitved hvitved requested a review from calumgrant March 12, 2019 16:39
@semmle-qlci semmle-qlci merged commit 8ed5d93 into github:rc/1.20 Mar 13, 2019
@hvitved hvitved deleted the merge-rc branch March 13, 2019 08:21
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