Skip to content

Conversation

ervteng
Copy link
Contributor

@ervteng ervteng commented Nov 20, 2020

Cherry-pick #4674 to release 10.

Types of change(s)

  • Bug fix
  • New feature
  • Code refactor
  • Breaking change
  • Documentation update
  • Other (please describe)

Checklist

  • Added tests that prove my fix is effective or that my feature works
  • Updated the changelog (if applicable)
  • Updated the documentation (if applicable)
  • Updated the migration guide (if applicable)

Other comments

* Remove extra period

* Update changelog

* Re add a period (#4676)

* Adding a trailing period

* formating

Co-authored-by: Vincent-Pierre BERGES <[email protected]>
@ervteng ervteng merged commit da1de79 into release_10_branch Nov 20, 2020
@surfnerd surfnerd deleted the release-remove-period branch February 25, 2021 20:06
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Feb 26, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants