diff options
| author | Pierre-Marie Pédrot | 2021-01-10 15:51:14 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-01-10 15:51:14 +0100 |
| commit | ffb482f0c18bff2c65dcc9cd2b65bd20b398245d (patch) | |
| tree | 5c5678f7d9a9eee97b5a558f570448a4cbfb5b1e /vernac | |
| parent | 723440611965ccdecfd56e61c8f1f8618a08841d (diff) | |
| parent | 70b18cd58243c99b13eefbd9c593b0f3929c742c (diff) | |
Merge PR #13469: Use nat_or_var for fail/gfail
Ack-by: Zimmi48
Reviewed-by: ppedrot
Diffstat (limited to 'vernac')
0 files changed, 0 insertions, 0 deletions