まだブランチ切られたばっかりだから仕方ないのかもしれない。 切り替え考えている方は要注意。

ｷﾀｺﾚっすねー。 さっそく家のサーバーのブランチをstable/9に切り替え＆久々カーネルオプション見直し。 [base] Revision 225736