tree 9239db9d6696b8331de855c32aa12e6ea0d7328c
parent 67e590d08ab47e294f2f18a72329d81293300593
author David Ostrovsky <david@ostrovsky.org> 1518757724 +0100
committer David Ostrovsky <david@ostrovsky.org> 1518758233 +0100

Adapt to recent API changes

Change-Id: Iae3985e892fd6e88beb4159831164a94ce351c67