The changes were merged into master with 9b4c685a
The source branch has been deleted
Mentions #436
mentioned in merge request !177
mentioned in issue #456
@edgebal I have put this on eggman for further testing
Let me know when you are good with this @edgebal
merged
mentioned in commit 9b4c685a
This will create a new commit in order to revert the existing changes.