Skip to content
This repository was archived by the owner on Dec 5, 2024. It is now read-only.

Fix packaging of resources #740

Merged
merged 1 commit into from
May 14, 2018
Merged

Fix packaging of resources #740

merged 1 commit into from
May 14, 2018

Conversation

shana
Copy link
Member

@shana shana commented May 14, 2018

No description provided.

@shana shana merged commit 1575265 into releases/0.33 May 14, 2018
@shana shana deleted the fixes/resource-packaging branch May 14, 2018 20:40
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.

1 participant