diff options
| author | coqbot-app[bot] | 2021-03-25 19:00:52 +0000 |
|---|---|---|
| committer | GitHub | 2021-03-25 19:00:52 +0000 |
| commit | 16d9e9cf378b9eb0ee0fc42c5c0a3a23b3df6ff4 (patch) | |
| tree | 3610121a2971a363c2dcdfc0de0a5de20ce5c31e /doc | |
| parent | d1194d6458a433e34c3b4eecf13c18b084f4a9a5 (diff) | |
| parent | 4a865fbce27d2b5ba0824ad52db0fea36ede0a9e (diff) | |
Merge PR #14004: Fix the redeclaration check for Ltac2 entry points.
Reviewed-by: gares
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions