diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-09-02 15:19:24 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-09-02 15:19:24 +0200 |
| commit | e1dae71ad2cc27e77ade049264dfb2e0bff1b885 (patch) | |
| tree | 07ee998fc623695b33b782979d862d25dab0f2b5 /.gitmodules | |
| parent | f36240e15cc253a8118e2dcba2a2952cce942d6e (diff) | |
try to fix #7007 key update issue discovered by Sebastian
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions