diff options
| author | Théophane Hufschmitt <theophane.hufschmitt@tweag.io> | 2024-02-15 09:50:12 +0100 |
|---|---|---|
| committer | Théophane Hufschmitt <theophane.hufschmitt@tweag.io> | 2024-02-15 09:50:12 +0100 |
| commit | f36d4aefd3bb2112527d11d23eae994db5c320f1 (patch) | |
| tree | 6a75b9dd1495d961a6b2e647f2841eec9ea561e4 /misc | |
| parent | 2db5c5326bb1c7ed11321be4bfd64b201b74320a (diff) | |
Fix the build
bef68e53b9d08c99873a5bc60568b7351934ad51 (backport of
31ebc6028b3682969d86a7b39ae87131c41cc604) accidentally broke the build
because of a change in the constructor of `SourcePath` between 2.18 and
master. Fix that.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions