diff options
| author | coqbot-app[bot] | 2020-12-28 15:44:11 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-28 15:44:11 +0000 |
| commit | ba0a277568182c205ad411986598632bb341f2d9 (patch) | |
| tree | f9ef99cd9f5bda02bbb08adace4bcfbfb0d07a6c /dev | |
| parent | 52154bfa574b30c10a9fbd78584cca44b885dc60 (diff) | |
| parent | 74ccd947d89e61ca1fc61575fe8012c2f8bd55fd (diff) | |
Merge PR #13662: Fixes #13657: vscoq needs goal uid.
Reviewed-by: gares
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions