keel --version prints 0.19.0 on keel 0.23.0 #98
Labels
No labels
accessibility
bug
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
Keel-Linux/keel#98
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
/usr/lib/python3/dist-packages/keel/init.py:9 has
__version__ = "0.19.0"while keel-0.23.0.dist-info/METADATA says 0.23.0. The version should come from one place (the changelog at build time, or importlib.metadata).