diff options
| author | coqbot | 2020-08-21 11:42:05 +0200 |
|---|---|---|
| committer | GitHub | 2020-08-21 11:42:05 +0200 |
| commit | 5db27e4dc15e0f4efd0c5707650ac1afbb42fa41 (patch) | |
| tree | 89586d30c8f911879faf47931bccc7c480095fdd /plugins | |
| parent | 609152467f4d717713b7ea700f5155fc9f341cd7 (diff) | |
| parent | d269b70616cbc67aca0e7fe1c6571c486d334532 (diff) | |
Merge PR #12759: [vernac] refine check for unresolved evars
Reviewed-by: SkySkimmer
Ack-by: gares
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions