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