From: Lea Wiemann <lewiemann@gmail.com>
Date: Wed, 04 Jun 2008 00:50:13 GMT
Subject: git-show documentation
Message-ID: <4845E6C5.8010000@gmail.com>

Just in case someone wants to fix it, man git-log lists a --header 
option (by including rev-list-options.txt), but it doesn't actually 
support this option.  Perhaps rev-list-options.txt should be 
copy-and-pasted instead of included so local changes can be made to 
git-log.txt.

-- Lea