The changes were merged into master with 11cec4c4
approved this merge request
merged
mentioned in commit 11cec4c4