commit | 5f63181ed5a9d409fcb0955217fbe4c1a40dd9ff | [log] [download] |
---|---|---|
author | nicm <nicm> | Thu Oct 07 07:53:31 2021 +0000 |
committer | nicm <nicm> | Thu Oct 07 07:53:31 2021 +0000 |
tree | 7a30de2e8cc479e3907230b057fb505602a8a664 | |
parent | 95744963335389d670997fe943c0859449eddc3e [diff] |
Add a missing El, from Alexis Hildebrandt in GitHub issue 2918.