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
Merge request reports
Activity
Filter activity
Please register or sign in to reply