diff options
| author | coqbot-app[bot] | 2020-11-24 16:30:56 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-24 16:30:56 +0000 |
| commit | 99931473e6a662fa21575dc1e99a6084a3c850d1 (patch) | |
| tree | 607cecb57cfd49f2b5edf61eb7b86ee9029c606a /dev/tools/objects.el | |
| parent | 80110dcfa2c52f719bfcce2b0b2b976de7faa174 (diff) | |
| parent | d7446a60073697056cce16b0a7b9769422047e5b (diff) | |
Merge PR #13436: Fixes #13432: typo in #11172 causing notations mentioning a coercion not being used
Reviewed-by: ejgallego
Diffstat (limited to 'dev/tools/objects.el')
0 files changed, 0 insertions, 0 deletions