somebody1234 05d613fdc9 Download latest release instead of nightly (#8402) ... The download button previously pointed to the latest nightly, instead of the latest stable release. This is bad, because (like now) the nightlies may be broken. # Important Notes None		2023-11-28 16:02:05 +00:00
..
gui	Build script fixes & improvements (#8285)	2023-11-23 21:19:31 +01:00
gui2	Add profiling shortcuts to GUI2 (#8406)	2023-11-28 14:44:46 +00:00
ide-desktop	Download latest release instead of nightly (#8402)	2023-11-28 16:02:05 +00:00