bors-servo e363d579fa Auto merge of #21302 - paulrouget:res, r=mbrubeck ... Fix page size when device-pixel-ratio is set manually Fix #21277 We were using the user-define pixel ratio to get the device values of the winit coordinates. <!-- 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/21302) <!-- Reviewable:end -->		2018-08-07 06:51:09 -04:00
..
libsimpleservo	Auto merge of #21234 - paulrouget:surface, r=MortimerGoro	2018-08-01 12:04:32 -04:00
servo	Auto merge of #21302 - paulrouget:res, r=mbrubeck	2018-08-07 06:51:09 -04:00