tree f0a12123dac13ed43d3fc79266c18d0746d9a292
parent a069960afed5aacc88e5e5976ccefe721e59f3a1
author David Ostrovsky <david@ostrovsky.org> 1606039670 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1606954643 +0000

Adapt the plugin to recent master

Change-Id: I6d91cd8731afad99ca2577114f03d63188aa7c44