Fixes #586, #678: Traymenu workspace statuses are not updating#687
Closed
nmder wants to merge 2 commits intonikitabobko:main from nmder:traymenufix
+30-14
Commits
Commits on Nov 10, 2024
- authored andNavonil MajumdercommittedNavonil Majumder
Commits on Nov 11, 2024
- authored andNavonil MajumdercommittedNavonil Majumder