tree f493a25bfd67f22531ff4d3de68d8f9363fd416f
parent 87d0965e82ae22be5d22aec1905247247fe616e5
author Guillaume Nodet <gnodet@gmail.com> 1645718456 +0100
committer Guillaume Nodet <gnodet@gmail.com> 1645718456 +0100

Switch a few core plugins to the new api