Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

docs: Update company name #298

Merged
merged 1 commit into from
Aug 15, 2023
Merged

docs: Update company name #298

merged 1 commit into from
Aug 15, 2023

Conversation

stenya
Copy link
Member

@stenya stenya commented Aug 15, 2023

PR type

What kind of change does this PR introduce?

  • Bugfix
  • Feature
  • Code style update
  • Refactoring (no functional changes, no api changes)
  • Build related changes
  • Documentation content changes
  • Other... Please describe:

PR checklist

Please check if your PR fulfills the following requirements:

  • I have read the CONTRIBUTING.md doc
  • The Git workflow follows our guidelines: CONTRIBUTING.md#git
  • I have added necessary documentation (if appropriate)

What is the current behavior?

Issue number: N/A

What is the new behavior?

Does this PR introduce a breaking change?

  • Yes
  • No

Other information

@stenya stenya added this to the 3.11.16 milestone Aug 15, 2023
@stenya stenya self-assigned this Aug 15, 2023
@stenya stenya merged commit c377de3 into development Aug 15, 2023
8 checks passed
@stenya stenya mentioned this pull request Aug 15, 2023
Closed
6 tasks
@stenya stenya deleted the task/s137_update_company_name branch August 15, 2023 09:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@stenya stenya

Labels
None yet
Projects
None yet
Milestone
3.12.x
Development

Successfully merging this pull request may close these issues.
1 participant
@stenya