Skip to content
v3.15.9: Minor fixess

This release features some minor fixes in the .desktop files and some minorinternal changes.

You can now also set environment variables in user_settings.json!