Skip to content

Printing Elementary's relation on 'edr'.#879

Merged
elongl merged 3 commits intomasterfrom
ele-893-print-elementarys-relation-on-edr
May 16, 2023
Merged

Printing Elementary's relation on 'edr'.#879
elongl merged 3 commits intomasterfrom
ele-893-print-elementarys-relation-on-edr

Conversation

@elongl
Copy link
Copy Markdown
Contributor

@elongl elongl commented May 16, 2023

No description provided.

@linear
Copy link
Copy Markdown

linear bot commented May 16, 2023

@github-actions
Copy link
Copy Markdown
Contributor

👋 @elongl
Thank you for raising your pull request.
Please make sure to add tests and document all user-facing changes.
You can do this by editing the docs files in this pull request.

@elongl elongl merged commit e990c41 into master May 16, 2023
@elongl elongl deleted the ele-893-print-elementarys-relation-on-edr branch May 16, 2023 14:32
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.

1 participant