diff options
| author | Théophane Hufschmitt <theophane.hufschmitt@tweag.io> | 2022-04-22 10:56:01 +0200 |
|---|---|---|
| committer | Théophane Hufschmitt <theophane.hufschmitt@tweag.io> | 2022-04-22 10:56:56 +0200 |
| commit | 7b889f31eac512c548fe56a73cd57d00d4fb89c1 (patch) | |
| tree | 19053dfe40cc3a378f69744978ac4164c0cfb570 /m4 | |
| parent | c4ffc8e2f8508fb951920fc08cf9283927e7e9b8 (diff) | |
Fix the darwin build
Looks like the auto-merge is indeed quite broken and merges even when the CI fails
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions