Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Mono: Rename margin to side #44743

Closed
wants to merge 1 commit into from
Closed

Mono: Rename margin to side #44743

wants to merge 1 commit into from

Conversation

pihdastudios
Copy link
Contributor

Rename margin to side that was missed in #44605

@aaronfranke aaronfranke added this to the 4.0 milestone Dec 28, 2020
@aaronfranke aaronfranke mentioned this pull request Dec 28, 2020
Merged
@akien-mga
Copy link
Member

Superseded by #44751, but thanks for the contribution nevertheless!

@akien-mga akien-mga closed this Dec 28, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@aaronfranke aaronfranke Awaiting requested review from aaronfranke

Assignees
No one assigned
Labels
archived bug topic:dotnet
Projects
None yet
Milestone
4.0
Development

Successfully merging this pull request may close these issues.
3 participants
@pihdastudios @akien-mga @aaronfranke