Skip to content
Snippets Groups Projects

add lookup_take_Some

Merged add lookup_take_Some
ralf/lookup_take_Some into master
Merged Ralf Jung requested to merge ralf/lookup_take_Some into master

another bit from Simuliris, original proof by @msammler

Edited by Ralf Jung

Merge request reports

Merge request pipeline #51394 passed

Stage: build

    Merge request pipeline passed for 90d70690

    Approval is optional

    Merged by Ralf JungRalf Jung 3 years ago (Jul 28, 2021 1:43pm UTC)

    Merge details

    • Changes merged into master with 9faffcdd.
    • Deleted the source branch.

    Pipeline #51428 canceled

    Stage: build

      Pipeline canceled for 9faffcdd 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