Skip to content

[release/7.0.2xx] Ensure file change notification is executed after file change is done#5550

Merged
JanKrivanek merged 4 commits intorelease/7.0.2xxfrom
backport/pr-5511-to-release/7.0.2xx
Nov 3, 2022
Merged

[release/7.0.2xx] Ensure file change notification is executed after file change is done#5550
JanKrivanek merged 4 commits intorelease/7.0.2xxfrom
backport/pr-5511-to-release/7.0.2xx

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Nov 3, 2022

Backport of #5511 to release/7.0.2xx

/cc @JanKrivanek @GangWang01

@github-actions github-actions bot requested a review from a team as a code owner November 3, 2022 15:45
@JanKrivanek JanKrivanek merged commit c34e734 into release/7.0.2xx Nov 3, 2022
@JanKrivanek JanKrivanek deleted the backport/pr-5511-to-release/7.0.2xx branch November 3, 2022 19:40
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.

2 participants