Skip to content

Conversation

@Jean85
Copy link
Member

@Jean85 Jean85 commented Jun 25, 2020

No description provided.

@goetas
Copy link
Member

goetas commented Jun 25, 2020

It could be hard to define "meaningful changes" but I guess that this is a good starting point

@Jean85 Jean85 marked this pull request as ready for review July 25, 2020 15:55
@Jean85 Jean85 requested a review from a team as a code owner July 25, 2020 15:55
@Jean85
Copy link
Member Author

Jean85 commented Jul 25, 2020

@Jean85 Jean85 merged commit c0e0f99 into master Jul 25, 2020
@Jean85 Jean85 deleted the add-errata-vote branch July 25, 2020 15:56
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.

8 participants