commit feaa2f5e1e20114b20f3766b8f11ba26cbeaf66d
Merge: 88f887be 2172dfb1
Author: Fabio Fantoni <fantonifabio@tiscali.it>
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 <jbicha@ubuntu.com>
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: