Skip to content

[19256] Remove mutex from TimedEventImpl (backport #3745)#3749

Merged
MiguelCompany merged 2 commits into2.11.xfrom
mergify/bp/2.11.x/pr-3745
Aug 7, 2023
Merged

[19256] Remove mutex from TimedEventImpl (backport #3745)#3749
MiguelCompany merged 2 commits into2.11.xfrom
mergify/bp/2.11.x/pr-3745

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify bot commented Jul 27, 2023

This is an automatic backport of pull request #3745 done by Mergify.


Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

  • @Mergifyio refresh will re-evaluate the rules
  • @Mergifyio rebase will rebase this PR on its base branch
  • @Mergifyio update will merge the base branch into this PR
  • @Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

  • look at your merge queues
  • generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com

* Removes mutex from TimedEventImpl

Signed-off-by: Vilas Chitrakaran <cvilas@gmail.com>

* Please linters.

Signed-off-by: Miguel Company <MiguelCompany@eprosima.com>

---------

Signed-off-by: Vilas Chitrakaran <cvilas@gmail.com>
Signed-off-by: Miguel Company <MiguelCompany@eprosima.com>
Co-authored-by: Miguel Company <MiguelCompany@eprosima.com>
Co-authored-by: Holger Schulz <holger.schulz@durham.ac.uk>
(cherry picked from commit a7697c7)
@mergify mergify bot mentioned this pull request Jul 27, 2023
10 tasks
@MiguelCompany MiguelCompany added this to the v2.11.2 milestone Jul 27, 2023
MiguelCompany
MiguelCompany previously approved these changes Jul 27, 2023
@MiguelCompany MiguelCompany added the ci-pending PR which CI is running label Jul 27, 2023
Signed-off-by: Javier Santiago <javiersantiago@eprosima.com>
@MiguelCompany
Copy link
Copy Markdown
Member

@richiprosima Please test this

@MiguelCompany MiguelCompany merged commit 637558b into 2.11.x Aug 7, 2023
@MiguelCompany MiguelCompany deleted the mergify/bp/2.11.x/pr-3745 branch August 7, 2023 16:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci-pending PR which CI is running

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants