Skip to content

/ servo

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. #11321

Closed
wants to merge 1 commit into from
Closed

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

wants to merge 1 commit into from

Commits on May 21, 2016

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

    @jdm @emilio
    jdm authored and emilio committed May 21, 2016
    Loading status checks…
    Unverified
    This user has not uploaded their public key yet.
    GPG key ID: 056B727BB9C1027C Learn about signing commits
    fc219f8
You can’t perform that action at this time.