Skip to content

Comments

Bump euclid to 0.2#28

Merged
emilio merged 1 commit intoservo:masterfrom
nox:bump-euclid
Sep 11, 2015
Merged

Bump euclid to 0.2#28
emilio merged 1 commit intoservo:masterfrom
nox:bump-euclid

Conversation

@nox
Copy link
Contributor

@nox nox commented Sep 11, 2015

No description provided.

emilio added a commit that referenced this pull request Sep 11, 2015
@emilio emilio merged commit 6d77c93 into servo:master Sep 11, 2015
jdm pushed a commit to jdm/surfman that referenced this pull request Nov 4, 2019
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.

2 participants