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

Fix for grab sync. Fixes #538#539

Merged
eanders-ms merged 1 commit intoredfrom
bugfix/538
Apr 28, 2020
Merged

Fix for grab sync. Fixes #538#539
eanders-ms merged 1 commit intoredfrom
bugfix/538

Conversation

@eanders-ms
Copy link
Contributor

No description provided.

@eanders-ms eanders-ms self-assigned this Apr 28, 2020
Copy link
Contributor

@tombuMS tombuMS left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:shipit:

@eanders-ms eanders-ms merged commit 16d4c90 into red Apr 28, 2020
@eanders-ms eanders-ms deleted the bugfix/538 branch April 28, 2020 16:56
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.

3 participants