Merge branch 'bug-is-negative' into 'master' (bda43459) · Commits · Julian Hammer / pystencils · GitLab

Snippets Groups Projects

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens, and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption in our documentation.

Commit bda43459 authored 5 years ago by

Stephan Seitz

Merge branch 'bug-is-negative' into 'master'

Bugfix: TypedSymbol.is_negative should not be implemented in terms of super().is_positive

See merge request !31

parents db2e9f13 f11bbbef

Branches

Tags

Hide whitespace changes

Inline Side-by-side

Showing with 1 addition and 1 deletion

Please register or to comment