diff options
| author | Pierre-Marie Pédrot | 2020-05-12 12:02:23 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-12 12:07:43 +0200 |
| commit | d31cb4d3e55da99d42abdc1f4129ddc03e1631c6 (patch) | |
| tree | fa0648deb47650cc0d026ecdd711c093d36e585c /dev/bugzilla2github_stripped.csv | |
| parent | e802f48faf7a472000e218c7a3321c10c2171e0f (diff) | |
Do not use Unsafe.to_constr for old refiner conclusion.
This was useless, since we did not observe the difference on evars.
Diffstat (limited to 'dev/bugzilla2github_stripped.csv')
0 files changed, 0 insertions, 0 deletions