Skip to content
Snippets Groups Projects

Merge branch 'bugfix/gridinfo' into 'master'

Merged Merge branch 'bugfix/gridinfo' into 'master'
cherry-pick-ec8c5491 into releases/2.5
Merged Ansgar Burchardt requested to merge cherry-pick-ec8c5491 into releases/2.5

gridinfo.hh: Use subEntities(codim) method instead of removed count<codim>() template method

See merge request !157 (merged)

Merge request reports

Pipeline #1797 passed

Stage: test

Pipeline passed for 00bbd5e4 on cherry-pick-ec8c5491

Approval is optional

Set by to be merged automatically when the pipeline succeeds

Ready to merge by members who can write to the target branch.

Merge details

  • 1 commit and 1 merge commit will be added to master.
  • Source branch will be deleted.
  • Auto-merge enabled

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