0385login:Penguin垢版2019/01/17(木) 13:08:24.26ID:r30ZDWPx そろそろ 新名称を決めないと Debianのパッケージに間に合わない なので希望する名称があればどんどん言った方がいいぞ