Yes it is. You'll find it if you look at the history. When you rebase to the latest master, the commit hash changes, and that's why GitHub does not detect the PR as merged. Usually we ask contributors to rebase the branch before merging, but sometimes is just more agile to rebase to the latest version ourselves before merging and just close the PR leaving a comment. Hope this answers your question! :)
--- Reply to this email directly or view it on GitHub: https://github.com/jclouds/jclouds/pull/419#issuecomment-48329354