another package-flags comment to discourage unnecessary usage (#7438)

This commit is contained in:
Jens Petersen 2025-07-19 00:35:46 +08:00
parent ba11f4001b
commit b973b4e144

View File

@ -8142,7 +8142,8 @@ packages:
# Package flags are applied to individual packages, and override the values of
# global-flags
# NB: These flags are shipped to users, ie used in snapshots (#7438)
# NB: These flags are shipped to users, ie used in snapshots (#7438):
# as such we should prefer to use the upstream defaults as far as possible
package-flags:
QuickCheck:
old-random: false