Skip to content

Conversation

jf205
Copy link
Contributor

@jf205 jf205 commented Jun 30, 2020

Only trivial docs changes and no conflicts.

@jf205 jf205 requested a review from shati-patel as a code owner June 30, 2020 14:46
@jf205 jf205 merged commit 8ff8b3e into github:master Jun 30, 2020
@jf205 jf205 deleted the 1.24-mergeback branch June 30, 2020 15: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