An error occurred while fetching the assigned milestone of the selected merge_request.
Bugfix: TypedSymbol.is_negative should not be implemented in terms of super().is_positive
This can lead to surprising simplifications
This can lead to surprising simplifications
merged
mentioned in commit bda43459