bors-servo f2b6cb77f2 Auto merge of #24126 - paulrouget:ui++, r=jdm ... Make the HoloLens UI look better Throbber, icons, tooltips, alignment, etc... Based on top of #24125 <!-- 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/24126) <!-- Reviewable:end -->		2019-09-11 23:46:48 -04:00
..
android	Implement window.alert on Android	2019-08-27 08:09:03 +02:00
arm32	Update MPL license to https (part 1)	2018-11-19 14:46:43 +01:00
arm64	Update MPL license to https (part 1)	2018-11-19 14:46:43 +01:00
hololens	Auto merge of #24126 - paulrouget:ui++, r=jdm	2019-09-11 23:46:48 -04:00
linux/gstreamer	Update gstreamer	2019-05-16 12:15:12 -07:00
magicleap	Package both Servo2D and Servo3D in one magicleap mpk	2019-08-15 10:19:02 -05:00
rust-task_info	Update MPL license to https (part 1)	2018-11-19 14:46:43 +01:00
windows	Remove GStreamer installer from Servo bundle	2018-12-01 23:54:57 +01:00