commit feaa2f5e1e20114b20f3766b8f11ba26cbeaf66d Merge: 88f887be 2172dfb1 Author: Fabio Fantoni <[email protected]> Date: Sun Dec 7 15:54:32 2025 +0100 Merge branch 'wip/bye-devhelp' into 'debian/latest' Remove Recommends: devhelp See merge request cinnamon-team/cinnamon!17 commit 2172dfb10c3e59b3ff0718a98ecf7cc8298255f7 Author: Jeremy Bícha <[email protected]> Date: Wed Dec 3 17:28:28 2025 -0500 Remove Recommends: devhelp devhelp will be removed from Debian and replaced by GNOME's manuals app But this dependency is unnecessary anyway
Among the 6 debian patches available in version 6.4.13-1 of the package, we noticed the following issues: