Remove obsolete messages from mypy.messages #242

New issue

Copy link

New issue

Copy link

Closed

Closed

Remove obsolete messages from mypy.messages#242

Copy link

Labels

refactoringChanging mypy's internalsChanging mypy's internals

Description

JukkaL

opened on Jul 15, 2013

Issue body actions

Several messages in mypy.messages are obsolete and no longer used. Remove them.

Reactions are currently unavailable

Activity

1. JukkaL

   removed

   front end

   on Jul 25, 2014
2. elazarg commented on Oct 19, 2016

   

   elazarg

   on Oct 19, 2016

   Contributor

   More actions

   Related: #2279
3. gvanrossum

   added this to the FutureThis milestone has been deleted milestone on Oct 20, 2016
4. gvanrossum

   closed this as completedon Oct 25, 2016

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

Metadata

Metadata

Assignees

No one assigned

Labels

refactoringChanging mypy's internalsChanging mypy's internals

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

• Open in GitHub Copilot app