diff options
| author | Emilio Jesus Gallego Arias | 2020-07-15 11:25:20 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-07-15 11:25:20 +0200 |
| commit | bcccf103bc714c57485fc82ccb7504ada8fcc737 (patch) | |
| tree | 8255f2e86755aa1d879b6959c2e5e4952cc8dd64 /dev/ci/ci-basic-overlay.sh | |
| parent | f238b252019555c0a9ae5bb0f56b4c73192b1e86 (diff) | |
| parent | 1b7565e81c52fd930d60c5a15679cdf18c8b9aa4 (diff) | |
Merge PR #12692: Compatibility of make-change-log with MacOS X whose "sed" does not support the "\+" operator of regular expressions
Reviewed-by: ejgallego
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions