> 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