diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-15 17:43:57 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-15 17:43:57 +0100 |
| commit | 6943a8fb170f079a897c02e50f26f44d0d4f81e3 (patch) | |
| tree | 0dc3e4da6c67a9eb0ab81aa81aaa87270a67175c | |
| parent | 356d113357f82bd817b93c0cab0afe49d28fa8f7 (diff) | |
| parent | 46fa90d23849b102e0b3aa43056e46676ffc1f84 (diff) | |
Merged Raul's correction in the acknowledgments
I had also done this in the main branch, but I noticed this commit later!
0 files changed, 0 insertions, 0 deletions