https://github.com/linuxmint/Cinnamon/commits/master/debian/changelog I don't know if they have tagged updated versions of all components/deps but there are PPA and arch packages so probably?
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=999d64da43c7547c07e76226e7ded7fd3568e302 commit 999d64da43c7547c07e76226e7ded7fd3568e302 Author: Kristian Fiskerstrand <k_f@gentoo.org> AuthorDate: 2018-11-24 18:25:45 +0000 Commit: Kristian Fiskerstrand <k_f@gentoo.org> CommitDate: 2018-11-28 19:55:18 +0000 gnome-extra/cinnamon: New upstream version 4.0.3 Closes: https://bugs.gentoo.org/671296 Closes: https://bugs.gentoo.org/666388 Closes: https://bugs.gentoo.org/666386 Closes: https://bugs.gentoo.org/666382 Signed-off-by: Kristian Fiskerstrand <k_f@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11 gnome-extra/cinnamon/Manifest | 1 + gnome-extra/cinnamon/cinnamon-4.0.3.ebuild | 209 +++++++++++++++++++++++++++++ 2 files changed, 210 insertions(+)