Skip to content
This repository has been archived by the owner on Jun 24, 2022. It is now read-only.

Add dots #2315

Merged
merged 1 commit into from
Jan 26, 2022
Merged

Add dots #2315

merged 1 commit into from
Jan 26, 2022

Conversation

anxolin
Copy link
Contributor

@anxolin anxolin commented Jan 26, 2022

Summary

Coses #2284.

I was going to write status of the issues of Elena report, just went for this PR since it was simpler to fix than keep track of so many issues 🙈

@anxolin anxolin merged commit 929252d into release/1.10 Jan 26, 2022
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.

1 participant