The changes were merged into master with 727ab59b
The source branch has been deleted
approved this merge request
Tested this while rebuilding my local. Works great.
merged
mentioned in commit 727ab59b
This will create a new commit in order to revert the existing changes.
