v9.0.0015
79ae1526 · patch 9.0.0015: with EXITFREE defined terminal menus are not cleared ·