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

style: Remove some no longer needed type arguments. #17746

Merged
merged 1 commit into from Jul 15, 2017
Merged

style: Remove some no longer needed type arguments. #17746

merged 1 commit into from Jul 15, 2017
+4 −7

Commits on Jul 15, 2017

  1. style: Remove some no longer needed type arguments.

    @emilio
    emilio committed Jul 15, 2017
    Loading status checks…
    Unverified
    This user has not uploaded their public key yet.
    GPG key ID: 056B727BB9C1027C Learn about signing commits
    3faba0c
You can’t perform that action at this time.