diff options
| author | Pierre-Marie Pédrot | 2020-04-30 15:35:40 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-03 13:09:49 +0200 |
| commit | 04a8c766a51b17997d8a9ffcf6f2d7beffc599ce (patch) | |
| tree | b103f2ed0e8957652f1ae8aa8072849a90b292e5 /plugins/funind | |
| parent | 16b2734e050d4c28d5da1a509cd2387cb8cebe6b (diff) | |
Remove a critical call to V82.tactic in Clenvtac.
Despite being marked as a breaking change by myself, it seems that the
underlying condition had been solved in the meantime.
Diffstat (limited to 'plugins/funind')
0 files changed, 0 insertions, 0 deletions