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.

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

Swapping Prop #12

Merged
merged 1 commit into from
Jan 19, 2023
Merged

Swapping Prop #12

merged 1 commit into from
Jan 19, 2023

Conversation

Odomontois
Copy link
Collaborator

No description provided.

@Odomontois Odomontois merged commit b7107e5 into master Jan 19, 2023
@Odomontois Odomontois deleted the diags branch January 20, 2023 10:02
Odomontois added a commit that referenced this pull request Jan 30, 2023
commit b7107e5
Merge: 2cefb5c 776c97a
Author: Odomontois <odomontois@gmail.com>
Date:   Thu Jan 19 14:34:57 2023 +0100

    Merge pull request #12 from manatki/diags

    Swapping Prop

commit 2cefb5c
Merge: 847ffdc 55d72f1
Author: Odomontois <odomontois@gmail.com>
Date:   Thu Jan 19 14:34:23 2023 +0100

    Merge pull request #10 from ritschwumm/patch-1

    fix typo

commit 776c97a
Author: Oleg Nizhnikov <odomontois@gmail.com>
Date:   Wed Jan 18 19:37:52 2023 +0100

    Swapping Prop

commit 55d72f1
Author: ritschwumm <ritschwumm@users.noreply.github.com>
Date:   Fri Apr 30 01:19:36 2021 +0200

    fix typo
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