diff options
| author | coqbot-app[bot] | 2021-02-11 11:46:38 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-11 11:46:38 +0000 |
| commit | d7199fb0c9677d7a2a2e2b6d9fad61e13d22286a (patch) | |
| tree | 2d37146ee627ccdd1a44582de3d8117cada8c953 /dev/doc/release-process.md | |
| parent | d9cb2ff7b20402e4a520a51cf4997c815e0a2011 (diff) | |
| parent | c00fb472a66bf76a0af961cc9615d7b49ee568c3 (diff) | |
Merge PR #13847: [ci] elpi 1.13.0
Reviewed-by: SkySkimmer
Diffstat (limited to 'dev/doc/release-process.md')
0 files changed, 0 insertions, 0 deletions