ドアグループ編集画面の刷新（2020/10/09リリース）

ドアグループの編集は、グループ名を選択して「ドアグループの管理」ボタンから行うようになりました。

管理画面では、編集中の状況（追加したもの／除外したもの）を確認できるようになっています。