>> I have just pushed the v10 patch.
>
> The buildfarm is fairly unhappy, and I think it's because of this patch.
Thanks for the info. Yes, at least prion is unhappy because of the
patch. I will look into this.
Best regards,
--
Tatsuo Ishii
SRA OSS, Inc. Japan
English: http://www.sraoss.co.jp/index_en.php
Japanese:http://www.sraoss.co.jp