Posted May 17, 2021 by Superfury1
#20210517_2154
A quick small bugfix to the release earlier today.
This fixes the video settings menu to properly behave with all it's options again (fixing the Dump VGA option to work again, instead of reporting an invalid menu item being selected).