>> 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