make a note about doing pull requests from master by default
Merge branch '1.12'