am 10dc29ef: am 4d8a9810: am a328d257: Merge "Docs: The usual linux build environment is Ubuntu 12.04"

* commit '10dc29ef403f7b6de199ca76338e51349ab0e8ac':
  Docs: The usual linux build environment is Ubuntu 12.04