Skip to content

Merge 2017-patches into master.

Eduardo Rodrigues requested to merge 2017-patches into master

Update master with all recent developments that made it into the 2017-patches branch.

Merge request reports