Skip to content
Snippets Groups Projects

updated document version number prior to release

Merged David requested to merge dhr/specs:spec-overview-fixes into master

@demarle please check that a tag transferred to head. I did the following on my branch: git tag -a "v1.0_1.2" -m "spec v1.0 doc version 1.2"

Please match that on the master

Merge request reports

Merged by avatar (Jan 11, 2025 2:25am UTC)

Merge details

  • Changes merged into with e9739d86.
  • Did not delete 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
Loading