One way to merge in these changes is to pull them into a local branch for review, verifying the changes and then merge to back to master.

# Check out a new branch for integration
git checkout -b merge-requests/112

# Fetch the merge request into this branch
git pull \
  git://gitorious.digitalstrom.org/dss11-websetup/dss11-websetup.git \
  refs/merge-requests/112

# Show the commits, assess they are okay
git log --pretty=oneline --abbrev-commit release-1.3..merge-requests/112

# To apply the changes to your branch:
git checkout release-1.3
git merge merge-requests/112
git push origin release-1.3