Skip to content
Snippets Groups Projects

Update to version 1.11.0

Merged Update to version 1.11.0
jesper/stdpp:master into master
All threads resolved!
Merged Jesper Bengtson requested to merge jesper/stdpp:master into master
All threads resolved!

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Ralf Jung
  • Jesper Bengtson added 1 commit

    added 1 commit

    • 96116d39 - Apply 1 suggestion(s) to 1 file(s)

    Compare with previous version

  • Jesper Bengtson resolved all threads

    resolved all threads

  • Jesper Bengtson added 1 commit

    added 1 commit

    • 3131e41a - Remove contributor from highlight section, elaborate on stronger induction support.

    Compare with previous version

  • Jesper Bengtson added 1 commit

    added 1 commit

    • bc41cd79 - Remove mention of strings in highlights section

    Compare with previous version

  • Ralf Jung resolved all threads

    resolved all threads

  • Ralf Jung
    Ralf Jung @jung ·
    Owner

    LGTM! @robbertkrebbers any further comments? Otherwise, I'd merge this, fix the date, and create the tag.

  • Ralf Jung
  • Robbert Krebbers
    Robbert Krebbers @robbertkrebbers ·
    Owner

    LGTM, modulo Ralf's final comment.

  • Ralf Jung
    Ralf Jung @jung ·
    Owner

    I will just merge and do the edit afterwards. (Jesper seems to have made his repo private so we can't just edit it as usual, oh well.)

  • Ralf Jung resolved all threads

    resolved all threads

  • Ralf Jung mentioned in commit e4733be5

    mentioned in commit e4733be5

  • Ralf Jung merged

    merged

    • Please register or sign in to reply