Skip to content
Snippets Groups Projects

Fix documentation of `dot_product()`

Merged Thomas Laurent requested to merge dot-prod-doc into develop
All threads resolved!

Fix wrong comment and add better unitary test for dot_product

Merge request reports

Approved by

Merged by Robert SchmidtRobert Schmidt 2 years ago (Jan 14, 2023 8:40am UTC)

Merge details

  • Changes merged into develop with 214aa505.
  • 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
  • Robert Schmidt resolved all threads

    resolved all threads

  • changed milestone to %OK_TO_BE_MERGED

  • Robert Schmidt changed title from fix doc only to Fix doc{+umentation of dot_product()+}

    changed title from fix doc only to Fix doc{+umentation of dot_product()+}

  • Robert Schmidt mentioned in merge request !1877 (merged)

    mentioned in merge request !1877 (merged)

  • Robert Schmidt mentioned in commit 1a0c0cd1

    mentioned in commit 1a0c0cd1

  • Robert Schmidt mentioned in merge request !1885 (merged)

    mentioned in merge request !1885 (merged)

  • Robert Schmidt mentioned in merge request !1906 (merged)

    mentioned in merge request !1906 (merged)

  • Robert Schmidt mentioned in commit 214aa505

    mentioned in commit 214aa505

  • Please register or sign in to reply
    Loading