Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #101432 - nnethercote:shrink-PredicateS, r=lcnr
Shrink `PredicateS` r? `@ghost`
bors 2022-09-07
parent 66d14ef · parent 406bb34 · commit 3707427
0 files changed, 0 insertions, 0 deletions