From 5443945b98c70e772015040376a5985df501e642 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Fri, 18 Jul 2025 19:16:09 +0800 Subject: [PATCH] also add a note that package-flags are shipped to users (#7438) [skip ci] --- build-constraints.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index 8af06410..e491ea96 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -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