Skip to content

Pin unstable path dependencies#384

Merged
bors[bot] merged 1 commit intomainfrom
378-pin-unstable-path-deps
Feb 11, 2021
Merged

Pin unstable path dependencies#384
bors[bot] merged 1 commit intomainfrom
378-pin-unstable-path-deps

Conversation

@Urhengulas
Copy link
Copy Markdown
Member

Fixes #378

@Urhengulas Urhengulas requested a review from japaric February 11, 2021 00:32
@Urhengulas Urhengulas self-assigned this Feb 11, 2021
Copy link
Copy Markdown
Contributor

@jonas-schievink jonas-schievink left a comment

Choose a reason for hiding this comment

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

bors r+

@bors
Copy link
Copy Markdown
Contributor

bors Bot commented Feb 11, 2021

Build succeeded:

@bors bors Bot merged commit 2595cab into main Feb 11, 2021
@bors bors Bot deleted the 378-pin-unstable-path-deps branch February 11, 2021 15:28
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.

pin dependency versions

2 participants