Hello, Sraoss.jp server will be down for server maintenance from Sat, 11 November 2017 4:00 until 21:00 (JST). All services on sraoss.jp, including this ML, will not be available for the maintenance. Sorry for inconvenience. -- Hiroyuki Yamamoto <hiro-y at kcn.ne.jp>