diff options
| author | coqbot-app[bot] | 2020-10-19 11:55:55 +0000 |
|---|---|---|
| committer | GitHub | 2020-10-19 11:55:55 +0000 |
| commit | 6ac6f430b75b74a7361f03be35bce670cb380d03 (patch) | |
| tree | a1a444695baf43a312c648319ddd289d4c12ce17 /dev/ci/gitlab.bat | |
| parent | 3690c28e1acbd4a689f072967117f6d7455c428e (diff) | |
| parent | 122cfabc4a453025b87ff599a12c09f988b300d6 (diff) | |
Merge PR #13197: Require at least one reference for Typeclasses Opaque/Transparent
Reviewed-by: SkySkimmer
Diffstat (limited to 'dev/ci/gitlab.bat')
0 files changed, 0 insertions, 0 deletions