diff options
| author | Jean-François Milants <jf@codingfield.com> | 2022-05-15 11:05:10 +0200 |
|---|---|---|
| committer | JF <JF002@users.noreply.github.com> | 2022-05-26 11:35:25 +0200 |
| commit | 123c801f173771afcebe5febc037f9ef2b12484e (patch) | |
| tree | 14849570187e053f96d5237f7fdb3fdb1175fe6f /doc | |
| parent | 831f93cd92e91a974f03cf0a739982103246e275 (diff) | |
Add comment about the workaround that was needed in the github workflow.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions