Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add remaining keyword values of -moz-user-select (fixes #15197) #15808

Merged
merged 1 commit into from Mar 3, 2017

Conversation

Projects
None yet
5 participants
@nox
Copy link
Member

commented Mar 3, 2017

This change is Reviewable

@highfive

This comment has been minimized.

Copy link

commented Mar 3, 2017

Heads up! This PR modifies the following files:

  • @bholley: components/style/properties/longhand/ui.mako.rs
  • @emilio: components/style/properties/longhand/ui.mako.rs
@nox

This comment has been minimized.

Copy link
Member Author

commented Mar 3, 2017

@bors-servo

This comment has been minimized.

Copy link
Contributor

commented Mar 3, 2017

📌 Commit a70f9f6 has been approved by nox

@highfive highfive assigned nox and unassigned asajeffrey Mar 3, 2017

@bors-servo

This comment has been minimized.

Copy link
Contributor

commented Mar 3, 2017

⌛️ Testing commit a70f9f6 with merge fa27e9c...

bors-servo added a commit that referenced this pull request Mar 3, 2017

Auto merge of #15808 - servo:moz-user-select, r=nox
Add remaining keyword values of -moz-user-select (fixes #15197)
@bors-servo

This comment has been minimized.

Copy link
Contributor

commented Mar 3, 2017

💔 Test failed - linux-dev

@nox nox force-pushed the moz-user-select branch from a70f9f6 to ae6d197 Mar 3, 2017

@nox nox force-pushed the moz-user-select branch from ae6d197 to 3d5b607 Mar 3, 2017

@nox

This comment has been minimized.

Copy link
Member Author

commented Mar 3, 2017

16:13 <•SimonSapin> r+

@bors-servo r=nox,SimonSapin

@bors-servo

This comment has been minimized.

Copy link
Contributor

commented Mar 3, 2017

📌 Commit 3d5b607 has been approved by nox,SimonSapin

@bors-servo

This comment has been minimized.

Copy link
Contributor

commented Mar 3, 2017

⌛️ Testing commit 3d5b607 with merge 1842b2e...

bors-servo added a commit that referenced this pull request Mar 3, 2017

Auto merge of #15808 - servo:moz-user-select, r=nox,SimonSapin
Add remaining keyword values of -moz-user-select (fixes #15197)

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/15808)
<!-- Reviewable:end -->
@bors-servo

This comment has been minimized.

Copy link
Contributor

commented Mar 3, 2017

☀️ Test successful - android, arm32, arm64, linux-dev, linux-rel-css, linux-rel-wpt, mac-dev-unit, mac-rel-css, mac-rel-wpt1, mac-rel-wpt2, windows-gnu-dev, windows-msvc-dev
Approved by: nox,SimonSapin
Pushing 1842b2e to master...

@bors-servo bors-servo merged commit 3d5b607 into master Mar 3, 2017

3 of 4 checks passed

continuous-integration/appveyor/pr AppVeyor build failed
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
dependency-ci Dependencies checked
Details
homu Test successful
Details

@SimonSapin SimonSapin deleted the moz-user-select branch Mar 13, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.