Skip to content

Preserve UUID#133

Merged
jkralik merged 2 commits intomasterfrom
preserveUuid
Oct 14, 2020
Merged

Preserve UUID#133
jkralik merged 2 commits intomasterfrom
preserveUuid

Conversation

@jkralik
Copy link
Member

@jkralik jkralik commented Oct 14, 2020

No description provided.

@jkralik jkralik requested a review from rafajpet October 14, 2020 15:52
@jkralik jkralik merged commit 95ddb07 into master Oct 14, 2020
@jkralik jkralik deleted the preserveUuid branch October 14, 2020 16:01
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.

2 participants