Skip to content
Snippets Groups Projects

documentation fixups; str fixups and improvements

Merged Jan Trávníček requested to merge merge-jt into master
All threads resolved!

Merge request reports

Pipeline #160878 passed with warnings

Pipeline passed with warnings for bc91e284 on merge-jt

Approval is optional

Merged by Tomáš PeckaTomáš Pecka 3 years ago (Nov 22, 2021 10:11am UTC)

Merge details

  • Changes merged into master with bc91e284.
  • Did not delete the source branch.
  • Auto-merge enabled

Pipeline #160898 passed with warnings

Pipeline passed with warnings for bc91e284 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
  • Tomáš Pecka resolved all discussions

    resolved all discussions

  • Tomáš Pecka enabled an automatic merge when the pipeline for bc91e284 succeeds

    enabled an automatic merge when the pipeline for bc91e284 succeeds

  • merged

  • Please register or sign in to reply
    Loading