Skip to content

Commit

Permalink
Remove +dev from version
Browse files Browse the repository at this point in the history
  • Loading branch information
@hauntsaninja
hauntsaninja committed Jun 25, 2023
1 parent f36ea01 commit 3534bac
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion mypy/version.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
# - Release versions have the form "1.2.3".
# - Dev versions have the form "1.2.3+dev" (PLUS sign to conform to PEP 440).
# - Before 1.0 we had the form "0.NNN".
__version__ = "1.4.1+dev"
__version__ = "1.4.1"
base_version = __version__

mypy_dir = os.path.abspath(os.path.dirname(os.path.dirname(__file__)))
Expand Down

1 comment on commit 3534bac

@kloczek
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is it possible next time on release new version make the github release to have entry on https://github.com/python/mypy/releases? 🤔

I'm asking because only on make gh release is spread notification about new release to those who have set watch->releases.

Please sign in to comment.