Skip to content

Fix some typos (backport #985) #988

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.

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

Merged
merged 1 commit into from
Feb 12, 2025
Merged

Conversation

mergify[bot]
Copy link

@mergify mergify bot commented Dec 17, 2024

Description

Fix some typos found while reviewing Fast-DDS documentation.

@Mergifyio backport 3.1.x 3.0.x 2.14.x 2.10.x 2.6.x

Contributor Checklist

  • Commit messages follow the project guidelines.
  • N/A Code snippets related to the added documentation have been provided.
  • Documentation tests pass locally.
  • Applicable backports have been included in the description.

Reviewer Checklist

  • The PR has a milestone assigned.
  • The title and description correctly express the PR's purpose.
  • Check contributor checklist is correct.
  • CI passes without warnings or errors.

This is an automatic backport of pull request #985 done by [Mergify](https://mergify.com).

* Change count func to attr

Signed-off-by: Juanjo Garcia <[email protected]>

* Fix typo

Signed-off-by: Juanjo Garcia <[email protected]>

---------

Signed-off-by: Juanjo Garcia <[email protected]>
(cherry picked from commit d963db8)
@mergify mergify bot mentioned this pull request Dec 17, 2024
7 tasks
@juanlofer-eprosima juanlofer-eprosima added this to the v2.14.5 milestone Dec 17, 2024
@EugenioCollado EugenioCollado self-requested a review February 12, 2025 09:28
Copy link
Contributor

@EugenioCollado EugenioCollado left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@EugenioCollado EugenioCollado merged commit fa938a8 into 2.14.x Feb 12, 2025
5 checks passed
@EugenioCollado EugenioCollado deleted the mergify/bp/2.14.x/pr-985 branch February 12, 2025 09:53
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