Missing pull requests

We checked `git history` of our `master` and `dev` branches. There was one pull request merged to `master` but not to `dev`. Except that there was inconsistency in history from week 21-24 July 2014. After merging #187 the commits from missing week are again in the history and the only differences between `master` and `dev` are from current week which is expected. Unit tests passes and smoke tests didn't find any issues.