Skip to content
Snippets Groups Projects
Commit d5dcf542 authored by Eduardo Rodrigues's avatar Eduardo Rodrigues
Browse files

Merge branch 'cherry-pick-b715c5a0' into '2018-patches'

Cherry-pick MR !216 to 2018-patches branch

See merge request !123
parents 890c44f5 8af5af2c
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment