commit | 854fc081949b0a373f039a5b092d7065c5c36cdb | [log] [tgz] |
---|---|---|
author | omar <omarcornut@gmail.com> | Fri Dec 20 16:19:34 2019 +0100 |
committer | omar <omarcornut@gmail.com> | Fri Dec 20 16:34:07 2019 +0100 |
tree | d5ac99648cd7546e23c952ecd2cb8687305a6c26 | |
parent | 061650bd2ae21bfb085628fde781fe11df528b59 [diff] |
Amend f70204f2 to facilitate merges.