Github user gdfm commented on the pull request:
https://github.com/apache/incubator-samoa/pull/27#issuecomment-117587512
@abifet I think you merged a slightly stale version of the PR.
No big deal, I verified the only difference was in the commit log.
For next time it would be good if we make sure to do a pull on the PR
branch before merging, and check that the tip of the branch in the log is the
same as in the PR (i.e., the commit ids are the same).
In this case we merged 5f1e1a1 but the PR's tip was b448b12.
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
