Pull request successfully merged into master