Skip to content

fix capitalizations#722

Merged
RoiTabach merged 1 commit into
masterfrom
ele-448-capitalization-fixes-in-grouped-alerts
Feb 28, 2023
Merged

fix capitalizations#722
RoiTabach merged 1 commit into
masterfrom
ele-448-capitalization-fixes-in-grouped-alerts

Conversation

@RoiTabach
Copy link
Copy Markdown
Contributor

No description provided.

@github-actions
Copy link
Copy Markdown
Contributor

👋 @RoiTabach
Thank you for raising your pull request.
Please make sure to add tests and document all user-facing changes.
You can do this by editing the docs files in this pull request.

@RoiTabach RoiTabach merged commit b7ec14a into master Feb 28, 2023
@linear
Copy link
Copy Markdown

linear Bot commented Feb 28, 2023

@RoiTabach RoiTabach deleted the ele-448-capitalization-fixes-in-grouped-alerts branch February 28, 2023 16:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant