diff options
| author | coqbot-app[bot] | 2020-11-19 20:40:31 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-19 20:40:31 +0000 |
| commit | 345328cdbcc6e01c884d7e91a72630ee54810d5c (patch) | |
| tree | 2a2fdc4ef21cba7c8ed0bf07971b7da4df0ea7ad /pretyping | |
| parent | c7686fe3ddd90ea707411296bbc9ec0b8cc99a2c (diff) | |
| parent | c63c3970fe4ffcd7a2aa8fa6e17c3f94f06762f9 (diff) | |
Merge PR #13423: [changelog] Indicate a replacement for deprecated syntax of debug / info_eauto.
Reviewed-by: jfehrle
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions