| commit | ae1d3cbe6f5d0f849a2e4f22fae9bfe0d57dd376 | [log] [tgz] |
|---|---|---|
| author | David Ostrovsky <david@ostrovsky.org> | Sun Jul 19 14:34:53 2020 +0200 |
| committer | David Ostrovsky <david@ostrovsky.org> | Sun Jul 19 14:35:34 2020 +0200 |
| tree | 19cbbea5d4372c5f2113201188dec1c08cfd05d9 | |
| parent | ddb6ca5cc6a06cb10927029aaef47b1a78969c15 [diff] |
Adapt to recent master Change-Id: I43f34b8f220ba2b28f1fb37606f1dbf77596218a