Skip to content

Remove excess proprty and TODO from inert - #34700

Merged
nycdotnet merged 2 commits into
masterfrom
fix-inert-excess-prop
Apr 12, 2019
Merged

nycdotnet merged 2 commits into
masterfrom
fix-inert-excess-prop

Conversation

@weswigham

Copy link
Copy Markdown
Contributor

Found while working on microsoft/TypeScript#30853 which will mark these as an error, as desired. (There's no great way to make a version-conditional $ExpectError, so i'm just removing the prop so DT stays clean)

@typescript-bot

typescript-bot commented Apr 12, 2019 •

Copy link
Copy Markdown
Contributor

@weswigham Thank you for submitting this PR!

🔔 @nycdotnet @AJamesPhillips @lenovouser - please review this PR in the next few days. Be sure to explicitly select Approve or Request Changes in the GitHub UI so I know what's going on.

If no reviewer appears after a week, a DefinitelyTyped maintainer will review the PR instead.

@lenovouser

Copy link
Copy Markdown
Contributor

Can you remove the property in

too? I just copied that over today.

@weswigham

Copy link
Copy Markdown
Contributor Author

Done.

@typescript-bot typescript-bot added Owner Approved A listed owner of this package signed off on the pull request. Merge:Express and removed Awaiting reviewer feedback labels Apr 12, 2019
@typescript-bot

Copy link
Copy Markdown
Contributor

A definition owner has approved this PR ⭐️. A maintainer will merge this PR shortly. If it shouldn't be merged yet, please leave a comment saying so and we'll wait. Thank you for your contribution to DefinitelyTyped!

@nycdotnet
nycdotnet merged commit 9c19be3 into master Apr 12, 2019
@weswigham
weswigham deleted the fix-inert-excess-prop branch April 12, 2019 19:57
alesn pushed a commit to alesn/DefinitelyTyped that referenced this pull request Apr 23, 2019
* Remove excess proprty and TODO from inert

* Remove excess prop
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Owner Approved A listed owner of this package signed off on the pull request.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants