tree 00f431fbdd14b8839409ad6764af328a7ba56fc5
parent e90d1d1c9dd928e8d915318f9d705f2d84285a80
author David Ostrovsky <david@ostrovsky.org> 1536042031 +0200
committer David Ostrovsky <david@ostrovsky.org> 1536043551 +0200

Adapt to recent API version

Change-Id: I2f1bd7c0be7fcf9d369fd0e8ada681a6a55c7c5e