| commit | 5597174923c62c9fe1a849fc87f4d1f68594984b | [log] [download] |
|---|---|---|
| author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Wed Jul 22 18:14:55 2015 +0200 |
| committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Wed Jul 22 18:14:55 2015 +0200 |
| tree | 8d81e3a8108be93aa851e325803605afc095f8ee | |
| parent | cb0d212c973f3bcd34fd55e1a302e2686706fcd6 [diff] |
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.