Closed gterzian closed 4 years ago
@asajeffrey r?
Should I increment the version number?
Incrementing the version number isn't really necessary since we can't publish to crates.io.
@jdm should we merge this one already? That way I can start cleaning up the other one...
@bors-servo r+
:pushpin: Commit 7af6dd2 has been approved by jdm
:hourglass: Testing commit 7af6dd265919d1ce3bd88a6d4dc6a0d18a3cd9ef with merge 58a770adbf7f04e79b0cc3ca78d5d5b22fc62c54...
:sunny: Test successful - checks-travis, status-appveyor Approved by: jdm Pushing 58a770adbf7f04e79b0cc3ca78d5d5b22fc62c54 to master...
Companion to https://github.com/servo/servo/pull/25873