| commit | ef9a61ad61a6aff3f7cfac6bc246f5cecc4ce325 | [log] [tgz] |
|---|---|---|
| author | David Ostrovsky <david@ostrovsky.org> | Fri Jan 18 09:20:20 2019 +0100 |
| committer | David Ostrovsky <david@ostrovsky.org> | Wed Jan 23 09:56:53 2019 +0100 |
| tree | a0f8dfe97a82de584ff3506c9b48293b4f9fef02 | |
| parent | f2ffed6f4f56efa956948e5775b154aaa2218c84 [diff] |
Remove unneeded finals Change-Id: I8928a74f1cb24225652fe4958a78cc931888563e