fix: do not ban .. with a . on the next line#4768
Merged
Kha merged 3 commits intoleanprover:masterfrom eric-wieser:patch-19Sep 17, 2024
+11-1
Commits
Commits on Aug 5, 2024
Commits on Aug 29, 2024
- authored
.. with a . on the next line#4768