Skip to content

Conversation

jmynes
Copy link

@jmynes jmynes commented Jul 16, 2025

  • Removed old closed 4.1 issues from Known Bugs
  • Removed incorrect line about default_guivm being set to sys-gui

jmynes added 2 commits July 16, 2025 11:42
@jmynes jmynes changed the title Minor sys gui corrections Minor sys-gui corrections Jul 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant