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