The changes were merged into master with 92616cd7
approved this merge request
merged
mentioned in commit 92616cd7