The changes were merged into master with a8381450
The source branch has been deleted
approved this merge request
merged
mentioned in commit a8381450
![](data:image/svg+xml,<svg xmlns="http://www.w3.org/2000/svg" width="80" height="80"><rect fill-opacity="0"/></svg>){kind=avatar}
