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

Misc Type Annotation fixes #26372

Merged
merged 14 commits into from
May 18, 2019
Merged

Misc Type Annotation fixes #26372

merged 14 commits into from
May 18, 2019

Commits on May 7, 2019

  1. Configuration menu
    Copy the full SHA
    4e63c80 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2019

  1. Configuration menu
    Copy the full SHA
    6f14c1d View commit details
    Browse the repository at this point in the history

Commits on May 9, 2019

  1. Configuration menu
    Copy the full SHA
    d2c1c7d View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    4201411 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2019

  1. Configuration menu
    Copy the full SHA
    26ed553 View commit details
    Browse the repository at this point in the history

Commits on May 13, 2019

  1. Complete misc type fixes

    gwrome committed May 13, 2019
    Configuration menu
    Copy the full SHA
    54cd8f4 View commit details
    Browse the repository at this point in the history
  2. Merge master

    gwrome committed May 13, 2019
    Configuration menu
    Copy the full SHA
    86f61b6 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    5531678 View commit details
    Browse the repository at this point in the history
  4. Update after code reviews

    gwrome committed May 13, 2019
    Configuration menu
    Copy the full SHA
    34a3fb4 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    30c4ae5 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    2eeff8c View commit details
    Browse the repository at this point in the history
  7. Annotate Set in core.window

    gwrome committed May 13, 2019
    Configuration menu
    Copy the full SHA
    7a06e6e View commit details
    Browse the repository at this point in the history

Commits on May 14, 2019

  1. Define attributes as List[str]

    gwrome committed May 14, 2019
    Configuration menu
    Copy the full SHA
    26efef5 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2019

  1. Merge master

    gwrome committed May 16, 2019
    Configuration menu
    Copy the full SHA
    9e42d72 View commit details
    Browse the repository at this point in the history