diff options
| author | Hugo Herbelin | 2020-07-15 09:21:59 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-07-15 09:21:59 +0200 |
| commit | 1b7565e81c52fd930d60c5a15679cdf18c8b9aa4 (patch) | |
| tree | 8255f2e86755aa1d879b6959c2e5e4952cc8dd64 /dev/ci | |
| parent | f238b252019555c0a9ae5bb0f56b4c73192b1e86 (diff) | |
Compatibility of make-change-log with MacOS X whose "sed" does not support "\+".
We make it compatible by expanding "[0-9]\+" into "[0-9][0-9]*".
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions