bors[bot] 851af5a52b

Merge #11074 ...

11074: Bump default CHALK_SOLVER_MAX_SIZE to 150 r=lnicola a=lnicola

Fixes #11072

Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>

2021-12-20 18:38:47 +00:00

..

src

Merge #11074

2021-12-20 18:38:47 +00:00

Cargo.toml

Merge #11028

2021-12-20 13:45:35 +00:00