diff options
| author | Maxime Dénès | 2020-09-02 14:42:01 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2020-09-02 21:50:13 +0200 |
| commit | fea073c74f98f3fe6728363c0f8142520ac1e50c (patch) | |
| tree | 67402c5ba7e70695028502b810a42ecc400de2fc /dev/ci/ci-lambda_rust.sh | |
| parent | e9b64e2f09d2a8dcc2558a9ea34268b4d78fdc66 (diff) | |
Replace `frozen` by `allowed` evars in evarconv, and delay them
This is a follow-up of #9062, which introduced a discrenpancy between
the two unification engines.
Diffstat (limited to 'dev/ci/ci-lambda_rust.sh')
0 files changed, 0 insertions, 0 deletions