fix typo in anaphoric.scrbl #8
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "patch-1"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Codecov Report
100% <100%> (ø)
Continue to review full report at Codecov.
Thanks, merged! Sorry this took so long!