also add a note that package-flags are shipped to users (#7438)

[skip ci]
This commit is contained in:
Jens Petersen 2025-07-18 19:16:09 +08:00
parent 3b39b4e24f
commit 5443945b98

View File

@ -8125,6 +8125,7 @@ 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)
package-flags:
QuickCheck:
old-random: false