tree 860d68d2a6a8a3f7ee94d499fccfd1563928281c
parent c42d7c1fe79bf3ea84d6195507891ab0e9fae44d
author Guillaume Nodet <gnodet@gmail.com> 1645718457 +0100
committer Guillaume Nodet <gnodet@gmail.com> 1645718457 +0100

Switch a few core plugins to the new api