Skip to content
Snippets Groups Projects

Update/merge 12 into 13

Merged Carlos Vega requested to merge update/merge_12_into_13 into master

I think this should be merged after !206 (merged) and !200 (merged) It would probably be conflicts after those two are merged or viceversa. I will fix them should it be needed.

Merge request reports

Pipeline #8121 passed

Pipeline passed for 1af66f31 on update/merge_12_into_13

Test coverage 90.91% (-0.08%) from 1 job

Merged by Piotr GawronPiotr Gawron 6 years ago (Jan 11, 2019 2:29pm UTC)

Loading

Pipeline #9447 passed

Pipeline passed for 08739dea on master

Test coverage 90.91% (-0.08%) from 1 job

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