tree 6cb3425fe0aff9e6c904edc009dcab41e7446d9a
parent 6262296ce5217e0897b33a47baacd0b518b156fb
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