Merge branch 'as/doc-for-devs' into maint
authorJunio C Hamano <gitster@pobox.com>
Sun, 23 Dec 2012 04:37:33 +0000 (20:37 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sun, 23 Dec 2012 04:37:33 +0000 (20:37 -0800)
* as/doc-for-devs:
  Documentation: move support for old compilers to CodingGuidelines
  SubmittingPatches: add convention of prefixing commit messages


Trivial merge