Skip to content
Snippets Groups Projects

4071: Model Library Elements are not Filtered by the Selection any more

Merged 4071: Model Library Elements are not Filtered by the Selection any more
4071 into master
Merged Simon Barner requested to merge 4071 into master

Merge request reports

Checking pipeline status.

Approval is optional

Merged by Simon BarnerSimon Barner 4 years ago (Oct 16, 2020 9:19am UTC)

Merge details

  • Changes merged into master with 4135b811.
  • Deleted the source branch.

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply