Skip to content
Snippets Groups Projects

Update make

Merged Update make
update-make into master
Merged Wouter Horlings requested to merge update-make into master

Merge request reports

Pipeline #1695 passed

Stage: typeset
    Stage: rro

      Pipeline passed for 346ccbf9 on update-make

      Merged by Wouter HorlingsWouter Horlings 4 years ago (Oct 23, 2020 1:55pm UTC)

      Loading

      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