Kernel 7.20

Kernel7.20が出たらしいです。Kernel7.00, 7.10, 7.11とかと下位互換です。