The changes were merged into master
The source branch has been removed
merged
mentioned in commit 17c4292c