tree 90c1f21d7e0379f18e1bf5fe5bc0830d1f1b73b9
parent 91eb1b3932e478268cbebea2e6297d6212f8bedf
author David Ostrovsky <david@ostrovsky.org> 1535659469 +0200
committer David Ostrovsky <david@ostrovsky.org> 1535660357 +0200

Adapt to recent API version

This also removes unused code.

Change-Id: I9ecf8957a384686ed3373aef6a843babb2dac576