diff options
| author | coqbot-app[bot] | 2021-01-01 13:19:04 +0000 |
|---|---|---|
| committer | GitHub | 2021-01-01 13:19:04 +0000 |
| commit | 6e18c48238edea6f69a2f96b58acd368bf8cc258 (patch) | |
| tree | c9ebfdfcc6070b39be9ea3191abf26e949c600b1 /plugins | |
| parent | 039f04c2caf7c8da380ca8d582e9edae3e6d5c06 (diff) | |
| parent | f4fb8a133e813c746ce95e46eba83bb70615bee5 (diff) | |
Merge PR #13693: [ci] Switch to testing the maintenance branch for Flocq 3.
Reviewed-by: gares
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions