Skip to content
This repository has been archived by the owner on Mar 19, 2024. It is now read-only.

[New arch] Rename #399

Merged
merged 5 commits into from
May 24, 2021
Merged

[New arch] Rename #399

merged 5 commits into from
May 24, 2021

Conversation

abelgardep
Copy link
Contributor

@abelgardep abelgardep commented May 11, 2021

@abelgardep abelgardep marked this pull request as ready for review May 20, 2021 12:17
@abelgardep abelgardep requested review from theScrabi and davigonz May 20, 2021 12:18
@abelgardep abelgardep merged commit be102c1 into new_arch/synchronization May 24, 2021
@delete-merged-branch delete-merged-branch bot deleted the new_arch/rename branch May 24, 2021 11:34
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants