| commit | 075072c57cc931ade6db47bdc68e3291343af799 | [log] [tgz] |
|---|---|---|
| author | David Ostrovsky <david@ostrovsky.org> | Sun Jul 19 14:39:38 2020 +0200 |
| committer | David Ostrovsky <david@ostrovsky.org> | Sun Jul 19 16:26:58 2020 +0200 |
| tree | 0f63a187b8e4450592f9ccfcfdccdaaed0aedb1a | |
| parent | db844a15c67693448706e3f220ac25959bcc711c [diff] |
Adapt to recent master Change-Id: I2b6d6a9dfd1972943ab6f01678d82c58093fb83f