Diffusion Pacemaker fd884c9da0b2

Merge pull request #3008 from kgaillot/T361
fd884c9da0b2
Actions

Tags

None

Referenced Files

None

Subscribers

None

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Merge pull request #3008 from kgaillot/T361

High: executor: fix regression in remote node shutdown

Details

Provenance

kgaillot	Authored on Jan 24 2023, 10:24 AM
GitHub <noreply@github.com>	Committed on Jan 24 2023, 10:24 AM

Event Timeline

GitHub <noreply@github.com> committed rPfd884c9da0b2: Merge pull request #3008 from kgaillot/T361 (authored by kgaillot).Jan 24 2023, 10:24 AM

Commit No Longer Exists

This commit no longer exists in the repository.