tree a0f8dfe97a82de584ff3506c9b48293b4f9fef02
parent f2ffed6f4f56efa956948e5775b154aaa2218c84
author David Ostrovsky <david@ostrovsky.org> 1547799620 +0100
committer David Ostrovsky <david@ostrovsky.org> 1548233813 +0100

Remove unneeded finals

Change-Id: I8928a74f1cb24225652fe4958a78cc931888563e