Web: have a way to let people know that a newer version of OpenCOR is available#402
Merged
agarny merged 3 commits intoopencor:mainfrom Feb 8, 2026
Merged
Web: have a way to let people know that a newer version of OpenCOR is available#402agarny merged 3 commits intoopencor:mainfrom
agarny merged 3 commits intoopencor:mainfrom