tree 8d81e3a8108be93aa851e325803605afc095f8ee
parent cb0d212c973f3bcd34fd55e1a302e2686706fcd6
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1437581695 +0200
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1437581695 +0200

Mention which branch to use for patches/PRs

Even if it's set as the default branch on github, it's probably better to
mention that explicitly.