From Sean Whitton@21:1/5 to All on Thu Feb 27 08:10:02 2025
Hello again,
I just pushed version 4.7.2.0 of the Debian Policy Manual and related
documents to sid. Below you will find the significant normative changes
from the previously-announced release of Policy (4.7.1.0).
The previous release of Policy accidentally rendered many packages
buggy, and this corrects the problem. Thanks to Vincent Lefevre and
Michael Biebl for reporting and investigating.
=*=*=*=
10.1
A change made the previous release of Policy is relaxed:
Packages that already install programs to /usr/games, where another
package installs a program of the same with different functionality
to a different directory on the default PATH, may continue to do so.
Packages must not install any newly conflicting programs to
/usr/games, and packages already doing so are encouraged to move
these programs to non-conflicting names.