Skip to content
This repository has been archived by the owner on Jul 22, 2024. It is now read-only.

Merge latest Servo-related changes #927

Merged
merged 6 commits into from
Jan 18, 2019
Merged

Merge latest Servo-related changes #927

merged 6 commits into from
Jan 18, 2019

Conversation

paulrouget
Copy link
Contributor

These change should be harmless.

@paulrouget
Copy link
Contributor Author

@MortimerGoro r?

@MortimerGoro MortimerGoro merged commit ad0b9a1 into master Jan 18, 2019
@bluemarvin bluemarvin deleted the servo branch January 25, 2019 23:33
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.

2 participants