Skip to content

Comments

fix build#198

Closed
jrr wants to merge 1 commit intoservo:masterfrom
jrr:fix-build
Closed

fix build#198
jrr wants to merge 1 commit intoservo:masterfrom
jrr:fix-build

Conversation

@jrr
Copy link
Contributor

@jrr jrr commented Jun 17, 2019

.unwrap() another position_attr

@jrr jrr closed this Jun 17, 2019
@jrr
Copy link
Contributor Author

jrr commented Jun 17, 2019

(fixed upstream 5c5fe00 )

@jrr jrr deleted the fix-build branch June 17, 2019 20:40
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