tree dcaba0423b3b5c978bedb052979187331a8ddf54
parent 9fdf7117ba9d924162fec7ed8b2aef75186f19be
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