Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Now that we have both `delayed_bug` and `span_delayed_bug`, it makes sense to use the generic term "delayed bug" more.
- Loading branch information