Skip to content

Comments

[UWP] Better default url management#27106

Merged
bors-servo merged 1 commit intoservo:masterfrom
paulrouget:defaulturl
Jun 29, 2020
Merged

[UWP] Better default url management#27106
bors-servo merged 1 commit intoservo:masterfrom
paulrouget:defaulturl

Conversation

@paulrouget
Copy link
Contributor

Fix #27046

@highfive highfive added the S-awaiting-review There is new code that needs to be reviewed. label Jun 29, 2020
@jdm
Copy link
Member

jdm commented Jun 29, 2020

@bors-servo r+
Nice solution;

@bors-servo
Copy link
Contributor

📌 Commit 2ef6ba2 has been approved by jdm

@highfive highfive assigned jdm and unassigned ferjm Jun 29, 2020
@highfive highfive added S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. and removed S-awaiting-review There is new code that needs to be reviewed. labels Jun 29, 2020
@bors-servo
Copy link
Contributor

⌛ Testing commit 2ef6ba2 with merge 56e0e55...

@bors-servo
Copy link
Contributor

☀️ Test successful - status-taskcluster
Approved by: jdm
Pushing 56e0e55 to master...

@bors-servo bors-servo merged commit 56e0e55 into servo:master Jun 29, 2020
@highfive highfive removed the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Jun 29, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Changing DEFAULT_URL doesn't override locally-stored preference

5 participants