> Sure, although leaving a commit message with a pointer to the fix in git > would document this better.
Right. We should always do that. Best regards, -- Tatsuo Ishii SRA OSS, Inc. Japan English: http://www.sraoss.co.jp/index_en.php Japanese:http://www.sraoss.co.jp