thir::pattern: update some comments and error type names#115887
Merged
bors merged 2 commits intorust-lang:masterfrom Sep 27, 2023
Merged
thir::pattern: update some comments and error type names#115887bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom
Commits
Commits on Sep 16, 2023
Commits on Sep 18, 2023
- committed