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

Ensure that a navigation to the same URL is aborted. Fixes #10952. #3268

Merged
merged 1 commit into from Jul 5, 2016

Conversation

Ms2ger
Copy link
Contributor

@Ms2ger Ms2ger commented Jul 5, 2016

No description provided.

@wpt-pr-bot
Copy link
Collaborator

Reviewers for this pull request are: @Ms2ger, @ayg, @gsnedders, @jdm, @jgraham, @plehegar, @sideshowbarker, @zcorpan, and @zqzhang.

@wpt-pr-bot wpt-pr-bot added the html label Jul 5, 2016
@Ms2ger
Copy link
Contributor Author

Ms2ger commented Jul 5, 2016

Code reviewed upstream.

@hoppipolla-critic-bot
Copy link

Critic review: https://critic.hoppipolla.co.uk/r/6671

This is an external review system which you may optionally use for the code review of your pull request.

In order to help critic track your changes, please do not make in-place history rewrites (e.g. via git rebase -i or git commit --amend) when updating this pull request.

@Ms2ger Ms2ger merged commit a6609cb into master Jul 5, 2016
@Ms2ger Ms2ger deleted the sync_dda62d1be9ecc35d3f1ee028e8b4764580f3549d branch July 5, 2016 15:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants