Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
source-maintenance.sh: portability improvements
git grep does not support non-greedy sequences on MacOS. Use a greedy sequence in MakeNamedErrorDetail instead
- Loading branch information