docs: Mention satisfiability checks in exclude-newer #5851
+16
−6
Merged
Loading