bors-servo d52a08a5c5 Auto merge of #17568 - upsuper:user-select, r=Manishearth ...

Handle prefixed value of -moz-user-select properly

This is supposed to fix [bug 1374996](https://bugzilla.mozilla.org/show_bug.cgi?id=1374996).

<!-- 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/17568)
<!-- Reviewable:end -->

2017-07-03 21:56:19 -07:00

..

gfx

Bump cssparser version to 0.16.1 in toml files

2017-06-22 15:44:03 -07:00

layout

Fix some "unused" warnings

2017-06-06 16:58:35 +02:00

net

Introduce service-worker mode

2017-06-22 23:48:07 -07:00

net_traits

Moved pub_domains to net_traits and did a spring clean.

2016-09-29 17:28:47 -05:00

profile

Bump serde to 1.0

2017-06-16 13:31:18 +02:00

script

Allow element prefix to be set

2017-06-23 21:10:01 -06:00

servo_config

Allow cli prefs to have numerical value

2017-01-05 19:32:14 +01:00

servo_remutex

Removed util.

2016-12-14 18:04:37 -06:00

style

Auto merge of #17568 - upsuper:user-select, r=Manishearth

2017-07-03 21:56:19 -07:00

stylo

Auto merge of #17481 - jryans:move-rule-node, r=bholley

2017-06-22 17:46:55 -07:00