diff options
| author | jvoisin | 2022-12-10 11:44:41 +0100 |
|---|---|---|
| committer | jvoisin | 2022-12-10 11:44:41 +0100 |
| commit | 808e7bff7e17b4f22a64120162734301aa065db0 (patch) | |
| tree | 454dcdae77d374969584d61fb202c489f4f990eb /.github/workflows | |
| parent | c016fa1a7ce11e657f215dd69deac59d973d6dd9 (diff) | |
Fix a minor typo in the testsuite
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions