Add branch-alias
[auto] Merge from Realdom

    • #806740e — Add branch-alias (Stéphane PY, 2014-09-23)

---

Merge branch 'master' of /var/lib/git/repositories/Library/Realdom