Skip to content

[backport dashing] install resource marker file for package#39

Merged
dirk-thomas merged 1 commit intodashingfrom
dirk-thomas/backport-dashing-37
Oct 16, 2019
Merged

[backport dashing] install resource marker file for package#39
dirk-thomas merged 1 commit intodashingfrom
dirk-thomas/backport-dashing-37

Conversation

@dirk-thomas
Copy link
Copy Markdown
Contributor

Backport of #37.

Signed-off-by: Dirk Thomas <dirk-thomas@users.noreply.github.com>
(cherry picked from commit d761db3)
@dirk-thomas dirk-thomas self-assigned this Oct 16, 2019
@dirk-thomas dirk-thomas merged commit a26d645 into dashing Oct 16, 2019
@delete-merged-branch delete-merged-branch bot deleted the dirk-thomas/backport-dashing-37 branch October 16, 2019 16:35
@dirk-thomas
Copy link
Copy Markdown
Contributor Author

Instead of this backport I released a new version 0.7.2 from master and fast-forwarded the dashing branch.

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