diff options
| author | coqbot-app[bot] | 2021-01-25 15:31:49 +0000 |
|---|---|---|
| committer | GitHub | 2021-01-25 15:31:49 +0000 |
| commit | cb5e21268ca0da4d26c3ea7e129b1af89d799a8c (patch) | |
| tree | 39640c2c5408ee11c15da1fdb2a3033754d24d5e /doc | |
| parent | 0a6444c522c18c634fe1030436ea82f326bada9a (diff) | |
| parent | a631b260c54e78faadc5dfc1ef3d319f19e1b615 (diff) | |
Merge PR #13779: Properly implement local references in Summary.
Reviewed-by: gares
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions