Maybe file a bug at the main project [1], and let the Mint community triage the bug.
[1] https://github.com/linuxmint/cinnamon
Maybe file a bug at the main project [1], and let the Mint community triage the bug.
[1] https:/ /github. com/linuxmint/ cinnamon