May2019 changes

Merged Christopher Guindon requested to merge github/fork/fdesbiens/may2019-changes into master

Created by: fdesbiens

Set of small clean-up commits.

Merge request reports