Skip to content
Snippets Groups Projects

various nitpicks

Merged Vladimír Čunát requested to merge nitpicks into master

See the individual commits.

Merge request reports

Checking pipeline status.

Approval is optional

Merged by avatar (Apr 3, 2025 5:08am UTC)

Merge details

  • Changes merged into master with d8fed142.
  • Deleted the source branch.

Pipeline #8407 canceled

Pipeline canceled for d8fed142 on master

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
Loading