tree 375bfa10dfa66a7683f8bb520e0869de57ad11bc
parent 5ac7df76593580d1018673e8fed531bc5dc88e9c
author David Ostrovsky <david@ostrovsky.org> 1536044620 +0200
committer David Ostrovsky <david@ostrovsky.org> 1536044697 +0200

Adapt to recent API version

Change-Id: I7163b6e4158365643ee222004b2b3d97220ef4d1